Re: Editor in GUI

[Torsten]

On 14.11.2013 07:18, John W. Eaton wrote:
> 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
> 

As a possible solution, I have submitted a patch in
http://savannah.gnu.org/patch/index.php?8240
that synchronizes the EDITOR field of edit.m and the custom editor in
the settings file.

Torsten