[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Editor in GUI
From: |
Torsten |
Subject: |
Re: Editor in GUI |
Date: |
Thu, 14 Nov 2013 18:20:15 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0 |
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
What about setting the EDITOR field to "GUI" when the gui is running. If
the user tries to change the field by evaluating "edit EDITOR ..." we
could display a message like "Please configure a custom editor in the
preferences of the gui" or so (and/or open the settings dialog).
Torsten
- Re: Editor in GUI, Rik, 2013/11/13
- Re: Editor in GUI, Torsten, 2013/11/14
- Re: Editor in GUI, John W. Eaton, 2013/11/14
- Re: Editor in GUI, Doug Stewart, 2013/11/14
- Re: Editor in GUI, Torsten, 2013/11/14
- Re: Editor in GUI, Torsten, 2013/11/14
- Re: Editor in GUI, Doug Stewart, 2013/11/14
- Re: Editor in GUI, Torsten, 2013/11/14
- Re: Editor in GUI, Doug Stewart, 2013/11/14
- Re: Editor in GUI, Torsten, 2013/11/14
- Re: Editor in GUI, Doug Stewart, 2013/11/14