[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: |
Wed, 23 Jul 2014 07:08:39 +0000 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:30.0) Gecko/20100101 Firefox/30.0 |
Follow-up Comment #28, bug #41217 (project octave):
Hi Torsten,
I come with a totally different approach than discussed below. I simply
manually swapped Meta and Ctrl in Qscintilla's shortcut list. Everything works
as expected using the attached patch.
If you prefer to stick to what we have discussed below, I also can provide a
patch, but the code is much harder to maintain and it reinvents the wheel:
qscintilla does a good job as long as the right modifier key is set.
(file #31758)
_______________________________________________________
Additional Item Attachment:
File name: swap_scintilla_keys.patch Size:1 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, (continued)
- [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
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Pantxo Diribarne, 2014/07/20
- [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/23
- [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings, Pantxo Diribarne, 2014/07/24