From 85fe844af4fa2a76de154af4d0a7ebeb2cbf033e Mon Sep 17 00:00:00 2001
From: "Lubomir I. Ivanov" <neolit123@gmail.com>
Date: Wed, 2 Jan 2019 19:05:23 +0200
Subject: desktop/preferences: rename the default file group

The original name was just "Dives" which is not
descriptive enough. Use "Default file".

Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
---
 desktop-widgets/preferences/preferences_defaults.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'desktop-widgets')

diff --git a/desktop-widgets/preferences/preferences_defaults.ui b/desktop-widgets/preferences/preferences_defaults.ui
index 2c357c0dc..7fcd53a36 100644
--- a/desktop-widgets/preferences/preferences_defaults.ui
+++ b/desktop-widgets/preferences/preferences_defaults.ui
@@ -49,7 +49,7 @@
    <item>
     <widget class="QGroupBox" name="groupBox_3">
      <property name="title">
-      <string>Dives</string>
+      <string>Default file</string>
      </property>
      <layout class="QFormLayout" name="formLayout_2">
       <property name="horizontalSpacing">
-- 
cgit v1.2.3-70-g09d2