[Top][All Lists]

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

[Octave-bug-tracker] [bug #57447] have a 'switch panes' command

From: Torsten Lilge
Subject: [Octave-bug-tracker] [bug #57447] have a 'switch panes' command
Date: Tue, 14 Jan 2020 01:00:38 -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

Follow-up Comment #9, bug #57447 (project octave):

@Philip: I am about to push Dan's patch with the shortcuts for un-/docking and
closing the current widget. However, I am wondering if it would be more
convenient to have only one shortcut for toggling the dock state, i.e.
Ctrl+Alt+D for undocking and docking again. What do you think?


Reply to this item at:


  Message sent via Savannah

reply via email to

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