From eea0cdee6557e8fe693673d0f3c2b0703cb7b0bc Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Mon, 31 Dec 2018 09:53:21 -0800
Subject: [PATCH] Desktop: change preferences dialog name to 'Preferences'

Fixes #1912

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---
 desktop-widgets/preferences/preferencesdialog.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/desktop-widgets/preferences/preferencesdialog.cpp b/desktop-widgets/preferences/preferencesdialog.cpp
index 49b1f87bd..59dbdf59b 100644
--- a/desktop-widgets/preferences/preferencesdialog.cpp
+++ b/desktop-widgets/preferences/preferencesdialog.cpp
@@ -39,6 +39,7 @@ PreferencesDialog::PreferencesDialog()
 	//s.endGroup();
 
 	setWindowIcon(QIcon(":subsurface-icon"));
+	setWindowTitle(tr("Preferences"));
 	pagesList = new QListWidget();
 	pagesStack = new QStackedWidget();
 	buttonBox = new QDialogButtonBox(