Commit Graph

4 Commits

Author SHA1 Message Date
David Capello 7da62f84a1 Split workspace panels 50% when they are docked with other sub-panel 2015-04-02 15:48:38 -03:00
David Capello e24c03f929 Add possibility to move tabs between different WorkspaceTabs widgets 2015-04-02 15:43:50 -03:00
David Capello c7379f6ecf Fix problem redrawing the main Tabs when the last tab is closed
For this, on AnimatedWidget, before we call onAnimationStop(), we
set m_animation to 0 to know that there is no animation in progress.
Tabs depends on m_animation to know if it needs extra space when there
are no more tabs (the extra space is used to show the animation that to
collapse Tabs).
2015-04-02 09:43:52 -03:00
David Capello 86afa3a568 Add support to dock tabs as other Workspace panels 2015-03-31 17:31:45 -03:00