tabs: order |
Site Admin
|
It works a bit differently. When you un-pin a tab, it gets the topmost (or the rightmost) position because it's "recently used GUI element".
|
||||||||||||
_________________ The PHP IDE team |
|
But f I use a auto-hide tab without pining it, it won't get the topmost position even if it's the "recently used GUI element", right?
I just want to say that the current behavior is not the one I expected/would like. Thanks |
||||||||||||
|
Site Admin
|
right, because it would make a big mess then
Regarding pin-unpin sequence, you can see that tab (side-bar) disappears while window is pinned leaving space for the others. When this tab (side-bar) gets back it always gets the topmost position. |
||||||||||||
_________________ The PHP IDE team |
tabs: order |
|
||
Content © NuSphere Corp., PHP IDE team
Powered by phpBB © phpBB Group, Design by phpBBStyles.com | Styles Database.
Powered by
Powered by phpBB © phpBB Group, Design by phpBBStyles.com | Styles Database.
Powered by