Skip to content

Use preferences instead of settings

Casper Meijn requested to merge caspermeijn/read-it-later:preferences into master

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)

Merge request reports