Adel Gadllah 6a8b50cb00 Don't create multiple copies of the (+) button
Currently we recreate it every time Main.overview.show() is called,
 so destroy it to avoid having multiple copies floating around.

https://bugzilla.gnome.org/show_bug.cgi?id=597309
2009-10-05 18:54:41 +02:00
..
2009-10-01 16:48:24 -04:00
2009-09-08 16:21:15 -04:00
2009-10-04 23:37:33 +02:00
2009-10-01 16:48:24 -04:00
2009-10-01 16:11:33 -04:00
2009-09-11 17:23:42 -04:00
2009-09-08 16:21:15 -04:00