|
From: | Torsten |
Subject: | [Octave-bug-tracker] [bug #53276] GUI: undocked panes cannot be moved, or resized along upper border |
Date: | Fri, 16 Mar 2018 16:14:12 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:58.0) Gecko/20100101 Firefox/58.0 |
Follow-up Comment #37, bug #53276 (project octave): I have the impression that we have to separate the dock widgets of the main window and those of the variable editor more precisely in this discussion. Whereas floating main dock widgets shall give the look and feel of independent applications windows, the variable dock widgets really are dock widgets (no standard window decoration, always on top of variable editor widget, not appearing in task bar). A possible approach might be to introduce the VE dock widgets without touching the main dock widgets. Any possible improvements of the latter (or of both) can then be done afterwards. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?53276> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |