[Top][All Lists]

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

[Octave-bug-tracker] [bug #54198] Add menu entries and shortcuts for doc

From: Torsten Lilge
Subject: [Octave-bug-tracker] [bug #54198] Add menu entries and shortcuts for docking/undocking main dock widgets
Date: Sat, 18 Jan 2020 04:28:06 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/13.0 Safari/605.1.15 Epiphany/605.1.15

Update of bug #54198 (project octave):

                  Status:                    None => Fixed                  
             Open/Closed:                    Open => Closed                 


Follow-up Comment #1:

The changesets http://hg.savannah.gnu.org/hgweb/octave/rev/106c8ba2f13c and
http://hg.savannah.gnu.org/hgweb/octave/rev/8dc5b36f1245 provide shortcuts for
closing the gui's current dock widget or for toggling its docking state.

During the tests I have also implemented related entries in the main window's
"window" menu but removed them again for the following reasons:

* It is not possible to use the menu entries for an undocked widget since the
focus switches to one of the docked widgets as soon as the "window" menu is

* In my opinion, menu entries for each single dock widget are sort of fiddly
compared to directly using the related buttons in the widget's title bar.

I am therefore closing this report. It can be reopened if menu entries are
still desired.   


Reply to this item at:


  Message sent via Savannah

reply via email to

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