[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Name of GUI Window: Preferences or Settings?
|
From: |
Rik |
|
Subject: |
Name of GUI Window: Preferences or Settings? |
|
Date: |
Wed, 23 May 2018 20:22:15 -0700 |
5/23/18
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"?
--Rik
- Name of GUI Window: Preferences or Settings?,
Rik <=