Re: Name changes to GUI

[Torsten]

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