hi,
Pierre, you suggested F11 could perhaps no longer perform a Hide/Show Pane function and do this toggling between docked/undocked business. For what it's worth, can I cast my vote for a plain and simple hide/show panes function whether it's F11 or something else. I don't spend a lot (well, any) time shifting between docked and undocked in my usage. My practice is to create the layouts I want, with panes in the position I want for that purpose, save them and load them as required. Then, regardless of what the particular layout is, I have F11 to remove the panes and put them back as required. I find this quick ability to unclutter the screen incredibly useful and I would hate to see it go.
DavidF
Comments
1- (simpler) Treat the current set up as the new #2 (since some panes are now pinned it’s not a maximized workspace anymore), discard the previously “saved” workspace, and directly switch to #1... That's probably what the user wants : simply uncluter the interface and eventually come back what was just left in “State X”.
2- (More complicated, I find) Show a dialog saying : A- “Show main workspace (hide panes & save current workspace as the new default)”, B- Hide currently pined panes and show the last open panes.
Or... leave as it is but questions will always arise. "why am I pressing F11 and not getting back to the workspace?" etc.