[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:
<https://savannah.gnu.org/bugs/?57447>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #57447] have a 'switch panes' command,
Torsten Lilge <=