[Top][All Lists]

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]