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: Mon, 14 Jul 2014 19:11:44 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:30.0) Gecko/20100101 Firefox/30.0 
Follow-up Comment #17, bug #41217 (project octave):

Pantxo, thanks for the patch. I have pushed it with changeset
http://hg.savannah.gnu.org/hgweb/octave/rev/58f1178f49ef
into the gui-release branch.

Do you have a suggestion concerning the shortcuts for the dock widgets?


    _______________________________________________________

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]