From 6212bb6721391efc82df21d80d177f93204cb12e Mon Sep 17 00:00:00 2001 From: willemferguson Date: Thu, 12 Dec 2019 10:28:04 +0200 Subject: Preferences UI: final cleanup This commit does some final cleaning up to the code, mostly deleting white space and comments. Signed-off-by: willemferguson Signed-off-by: Dirk Hohndel --- desktop-widgets/preferences/preferences_reset.ui | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'desktop-widgets/preferences/preferences_reset.ui') diff --git a/desktop-widgets/preferences/preferences_reset.ui b/desktop-widgets/preferences/preferences_reset.ui index c9e53dd5f..6e5da21ab 100644 --- a/desktop-widgets/preferences/preferences_reset.ui +++ b/desktop-widgets/preferences/preferences_reset.ui @@ -15,9 +15,6 @@ - - - @@ -39,7 +36,7 @@ true - Selecting this button will reset all settings to their default values + Selecting this button will reset all preferences to their default values @@ -50,7 +47,7 @@ - Reset all settings + Reset all preferences -- cgit v1.2.3-70-g09d2