|
| From: | Torsten |
| Subject: | External editor for the gui |
| Date: | Mon, 11 Mar 2013 21:46:53 +0100 |
| User-agent: | Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130221 Thunderbird/17.0.3 |
The settings dialog allows to configure an external editor but this setting is not checked when opening a file. Looks like the support of an external editor has gone with changeset http://hg.savannah.gnu.org/hgweb/octave/rev/625be3eb27c5 Jacob, what was the reason for that? Should we re-implement support for an external editor? Torsten
| [Prev in Thread] | Current Thread | [Next in Thread] |