|
| From: | John W. Eaton |
| Subject: | Re: Editor in GUI |
| Date: | Thu, 14 Nov 2013 01:18:08 -0500 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9 |
On 11/14/2013 12:54 AM, Torsten wrote:
Should the EDITOR field of edit.m be updated to the custom editor configured in the GUI when in the GUI? It would be for cosmetic reasons only since it is not used as Rik already said.
I would say yes, because it seems like we are asking for confusion if we have this information in two locations, possibly in two separate formats.
jwe
| [Prev in Thread] | Current Thread | [Next in Thread] |