|
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 clicked. * 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: <https://savannah.gnu.org/bugs/?54198> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |