From 23067e5dd8dd5c07dd579bf1ce01acc888539dbc Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Sat, 1 Sep 2018 08:13:24 -0700 Subject: [PATCH] Desktop: fix warnings when building preferences UI Fixes #1618 Signed-off-by: Dirk Hohndel --- desktop-widgets/preferences/preferences_defaults.ui | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/desktop-widgets/preferences/preferences_defaults.ui b/desktop-widgets/preferences/preferences_defaults.ui index 731eed6ab..d92f515a3 100644 --- a/desktop-widgets/preferences/preferences_defaults.ui +++ b/desktop-widgets/preferences/preferences_defaults.ui @@ -19,7 +19,7 @@ Lists and tables - + 5 @@ -51,7 +51,7 @@ Dives - + 5 @@ -101,7 +101,7 @@ - + @@ -178,7 +178,7 @@ Animations - + 5 @@ -232,7 +232,7 @@ - +