David Capello 1199c51187 Don't collapse main Tabs widget when there are no tabs ... It's useful to keep the main Tabs always expanded to dock other tabs on it.		2015-04-09 11:01:39 -03:00
..
default	Don't collapse main Tabs widget when there are no tabs	2015-04-09 11:01:39 -03:00