Adel Gadllah a4e53953a9 workspaceSwitcher: Initially hide after creation
The default state of the switcher is constructed but not visible,
so create it that way.

This fixes a bug where if we created the switcher but didn't show it
or use it we'd end up with an empty, odd looking switcher.
2011-02-10 00:16:32 +01:00
..
2011-01-31 11:52:27 -05:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00
2010-06-21 16:19:25 +02:00