[Octave-bug-tracker] [bug #53902] Reduce whitespace in Editor (undocked)

[Dan Sebald]

Follow-up Comment #2, bug #53902 (project octave):

I agree with most of your markups for the "gray" space.  There doesn't seem to
be good use of space in the octave_dock_widget (that's the object in the code
comprising the floatable main widgets, it's derived from a label_dock_widget
which in turn is derived from a QDockWidget).  It's been a bit of a struggle
getting these things to work in all platforms (KDE in particular) and sort out
the desired behavior.  Layout and spacing has been the low priority.

We can't get rid of the second title line though because that title contains
the "dock" box (or double-click on the title line).  Without that "dock" box
there is no way of putting that floated widget back into the QMainwindow.  Qt
has absolutely no control over the very top title line which is part of the OS
Window Manager.  I think that is why they devised this secondary title bar
option

Perhaps there is one trick to pursue (but I haven't the time).  If the Qt
layout could be shifted so that the tab area extends up into the title bar
(remove the "Editor" title since it is already in the Window Manager titlebar
(no guarantee of that, though, I suppose) then it might look like the dock-box
is level with the tabs rather than using up its own line.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?53902>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/