Use preferences instead of settings
GNOME Human Interface Guidelines suggests using "Preferences" wording for opening the settings menu. https://developer.gnome.org/hig/patterns/controls/menus.html
fixes #57 (closed)
GNOME Human Interface Guidelines suggests using "Preferences" wording for opening the settings menu. https://developer.gnome.org/hig/patterns/controls/menus.html
fixes #57 (closed)