Currently there is a menu option Edit->Preferences. However, this option
opens up a window with the title Settings. Octave should make these two
things consistent, and there is a bug report about this already (bug
#53616). Does anybody have a good line of reasoning for whether we should
use "Preferences" or "Settings"?
IMHO, in most programs the menu entry and the dialog is called
My informal survey was ambiguous. Two KDE applications, dolphin
(file browser) and okular (PDF viewer), both use "Settings". GIMP
uses "Preferences", as does Firefox. Maybe there is a split between
KDE/GTK applications? My Android phone uses "Settings", and
Libreoffice uses "Options". I really don't care, but I'll mark one
vote for "preferences".
I vote for going this way, too, but without changing all
internal variable names, classes and files.
I think we need to change the names to match the window. One
shouldn't name variables "var1", "var2", "var3", ... because it
forces the programmer to have a table, either on paper or in their
head, about the type of "var2" is and what it does. I just
referenced the Principle of Least Surprise
another post. In this case, it would be surprising to the
programmer that a "Preferences" window is coded internally using
variables that begin with Settings. Also, by using a regular
expression it isn't that hard to clean this up.
On Thursday, May 24, 2018 09:51:19 Rik wrote:
> My informal survey was ambiguous. Two KDE applications, dolphin (file
> browser) and okular (PDF viewer), both use "Settings". GIMP uses
> "Preferences", as does Firefox. Maybe there is a split between KDE/GTK