[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: |
Tue, 15 Jul 2014 16:31:01 +0000 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:30.0) Gecko/20100101 Firefox/30.0 |
Follow-up Comment #18, bug #41217 (project octave):
Thanks, I saw on the mailing list that you had trouble applying the patch
because it was written against default. I'll take care to switch to the
gui-release branch before writing GUI patches in the future.
I just noticed that some doubly defined actions (at least "copy", "paste", and
"new"), i.e. those that can be triggered from the editor or from the main
menu, *don't work in the editor* but do work elsewhere. OTOH, the debug
actions (that trigger dbstep dbcont ...), which are defined once and copied on
both menus, do work both in the editor and in the command window. Should I
file a bug report or should we discuss this issue here?
I could check that it used to work in 3.8.0 and that the problem is not linked
to this changeset http://hg.savannah.gnu.org/hgweb/octave/rev/bfb735b70978
Do you have an idea I could test?
About shortcuts for the dock-widget I have no precise idea, I'll think about
it.
_______________________________________________________
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, 2014/07/10
- [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 <=
- [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, 2014/07/23