octave-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #41217] GUI Editor could support customizable

From: Torsten
Subject: [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings
Date: Sun, 06 Apr 2014 21:14:37 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:28.0) Gecko/20100101 Firefox/28.0 
Follow-up Comment #9, bug #41217 (project octave):

When the editor has focus and is docked, all shortcuts are active. 
Disabling the shortcuts when the focus changes to the terminal could become a
user preference if desired.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?41217>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]