|
From: | Carnë Draug |
Subject: | [Octave-bug-tracker] [bug #40600] edit: changing EDITOR after first call to edit() has no effect |
Date: | Sat, 23 Nov 2013 22:35:00 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131030 Firefox/17.0 Iceweasel/17.0.10 |
Follow-up Comment #5, bug #40600 (project octave): With the GUI, it seems we have 3 different default editors: * the one specified in EDITOR to be used by edit_history * the one specified with edit() * the one used in the GUI Isn't that a bit too much? _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?40600> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |