[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #41217] GUI Editor could support customizable
From: |
Pantxo Diribarne |
Subject: |
[Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings |
Date: |
Thu, 10 Jul 2014 16:29:17 +0000 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:30.0) Gecko/20100101 Firefox/30.0 |
Follow-up Comment #16, bug #41217 (project octave):
Hi Torsten,
Sorry for the delay. I attached a patch in which I tried to stick as much as
possible to the shortcuts that have been chosen for linux and windows (for
most of them ctrl->CMD).
As function keys have predefined, system wide, behavior on Mac I prepended any
shgortcut involving F* by option modifier.
Also, at least French keyboards need Shift to type numbers on laptops, so that
Ctrl+2 or Ctrl+Shift+2 is not a good choice ...
Thank you for the possibility to import export shortcuts, it will be very
handy.
(file #31697)
_______________________________________________________
Additional Item Attachment:
File name: shortcuts_mac.patch Size:12 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41217>
_______________________________________________
Message posté via/par Savannah
http://savannah.gnu.org/
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings,
Pantxo Diribarne <=
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Torsten, 2014/07/14
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Pantxo Diribarne, 2014/07/15
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Torsten, 2014/07/15
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Torsten, 2014/07/15
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Pantxo Diribarne, 2014/07/17
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Torsten, 2014/07/18
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Pantxo Diribarne, 2014/07/18
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Torsten, 2014/07/19
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Pantxo Diribarne, 2014/07/19
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Torsten, 2014/07/19