Desktop: change preferences dialog name to 'Preferences'

Fixes #1912

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2018-12-31 09:53:21 -08:00
parent 9e83106ff7
commit 4935f07c9a

View file

@ -39,6 +39,7 @@ PreferencesDialog::PreferencesDialog()
//s.endGroup();
setWindowIcon(QIcon(":subsurface-icon"));
setWindowTitle(tr("Preferences"));
pagesList = new QListWidget();
pagesStack = new QStackedWidget();
buttonBox = new QDialogButtonBox(