[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Name changes to GUI
From: |
Torsten |
Subject: |
Re: Name changes to GUI |
Date: |
Sat, 16 Jun 2018 10:23:58 +0200 |
On 14.06.2018 21:20, Rik wrote:
> On 06/14/2018 11:50 AM, Torsten wrote:
>> On 13.06.2018 23:14, Rik wrote:
>>> 6/13/18
>>>
>>> Per a post a few weeks back, I have changed some of the GUI strings. In
>>> particular, the window for changing defaults is now "Preferences" rather
>>> than "Settings" since that is what more people preferred. Also, I changed
>>> "Terminal" to "Command Window" since that is actually what is implied.
>>>
>>> I'm not a UI expert, but shouldn't the tabs in the Preferences window be
>>> re-ordered? After the first "General" tab, the rest are windows, and then
>>> "Shortcuts", "Network", and "Variable Editor". Since "Variable Editor" is
>>> a window like "Editor" or "File Browser" shouldn't it be listed before
>>> "Shortcuts"?
>>>
>>> --Rik
>>>
>> Thus, the new order should be the following?
>>
>> Gerenal
>> Command Window
>> Editor
>> Editor Styles (maybe added to a larger Editor pane)
>> File Browser
>> Workspace
>> Variable Editor
>> Shortcuts
>> Network
>
> That is what makes sense to me.
>
> --Rik
I have pushed cset
http://hg.savannah.gnu.org/hgweb/octave/rev/00bfb85bfb28 where the panes
are reordered and where I have moved the editor styles prefs into the
editor pane.
Torsten