|
From: | Pantxo Diribarne |
Subject: | [Octave-bug-tracker] [bug #41217] GUI Editor could support customizable keybindings |
Date: | Sun, 06 Apr 2014 20:33:11 +0000 |
User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:27.0) Gecko/20100101 Firefox/27.0 |
Follow-up Comment #8, bug #41217 (project octave): Right, I see now. There is also a specific bug dedicated to readline default settings (bug #40156). You emphasize it's probably not two completely distinct features. I fear shortcuts that work only if neither the editor nor the terminal has focus (i.e. probably less than 1% of the time), won't be very useful. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?41217> _______________________________________________ Message posté via/par Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |