octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #53276] GUI: undocked panes cannot be moved, o


From: Torsten
Subject: [Octave-bug-tracker] [bug #53276] GUI: undocked panes cannot be moved, or resized along upper border
Date: Sat, 5 May 2018 07:47:49 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:59.0) Gecko/20100101 Firefox/59.0

Follow-up Comment #109, bug #53276 (project octave):

Dan, what was the reason for not using the custom title bar (setWindowTitle
instead of set_title)? The drawback of using the standard title bar is that
the background color can be set but a selected foreground color is ignored
resulting in non-readable titles when selecting a dark background color.
moreover, the custom title widget id slightly compacter.

However, when using set_title again, the variable editor can not be docked
anymore, it always stays floating. Other widgets can be re-docked again once
they are floating.

And what are the "#if 0" constructs in octave-dock-widget.cc and
varable-editor-model.cc for?

    _______________________________________________________

Reply to this item at:

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

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]