From 88cbcf5c6ea56a8e31617a426e7ca8221999afe8 Mon Sep 17 00:00:00 2001 From: willemferguson Date: Wed, 25 Dec 2019 07:26:58 +0200 Subject: Cosmetic updates to .UI files for Preferences This is a cosmetic update to remove some warning messages while building a fresh subsurface. These warnings were due to duplicate label names in the .UI files. Signed-off-by: willemferguson --- desktop-widgets/preferences/preferences_dc.ui | 8 ++++---- desktop-widgets/preferences/preferences_log.ui | 16 ++++++++-------- desktop-widgets/preferences/preferences_media.ui | 12 ++++++------ 3 files changed, 18 insertions(+), 18 deletions(-) (limited to 'desktop-widgets/preferences') diff --git a/desktop-widgets/preferences/preferences_dc.ui b/desktop-widgets/preferences/preferences_dc.ui index cb93eddae..51f66c847 100644 --- a/desktop-widgets/preferences/preferences_dc.ui +++ b/desktop-widgets/preferences/preferences_dc.ui @@ -16,7 +16,7 @@ - + @@ -31,7 +31,7 @@ - + @@ -42,7 +42,7 @@ - + @@ -64,7 +64,7 @@ - + diff --git a/desktop-widgets/preferences/preferences_log.ui b/desktop-widgets/preferences/preferences_log.ui index 8dd76ad4c..9d1214b92 100644 --- a/desktop-widgets/preferences/preferences_log.ui +++ b/desktop-widgets/preferences/preferences_log.ui @@ -15,13 +15,13 @@ - - - - DIVE LOG - - - + + + + DIVE LOG + + + @@ -71,7 +71,7 @@ - + Local dive log file diff --git a/desktop-widgets/preferences/preferences_media.ui b/desktop-widgets/preferences/preferences_media.ui index 64e9d5986..fbd142911 100644 --- a/desktop-widgets/preferences/preferences_media.ui +++ b/desktop-widgets/preferences/preferences_media.ui @@ -16,7 +16,7 @@ - + @@ -27,7 +27,7 @@ - + @@ -49,7 +49,7 @@ - + @@ -60,7 +60,7 @@ - + @@ -87,7 +87,7 @@ - + @@ -131,7 +131,7 @@ - + -- cgit v1.2.3-70-g09d2