diff options
author | Martin Měřinský <mermar@centrum.cz> | 2017-03-06 13:27:39 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-03-11 08:09:07 -0800 |
commit | dcf254221504d1e41e491de3a74e07a7c585d2c1 (patch) | |
tree | fb681d07eb56639b6a240f2733fb96bf4445652d /desktop-widgets/preferences | |
parent | bdb83fd9b5a28dba3076ad4d55dc6924c51367ec (diff) | |
download | subsurface-dcf254221504d1e41e491de3a74e07a7c585d2c1.tar.gz |
Use abbreviations with dots.
Diffstat (limited to 'desktop-widgets/preferences')
-rw-r--r-- | desktop-widgets/preferences/preferences_graph.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop-widgets/preferences/preferences_graph.ui b/desktop-widgets/preferences/preferences_graph.ui index 3e175b985..5deacc1fd 100644 --- a/desktop-widgets/preferences/preferences_graph.ui +++ b/desktop-widgets/preferences/preferences_graph.ui @@ -253,7 +253,7 @@ <item row="4" column="2" colspan="2"> <widget class="QCheckBox" name="gf_low_at_maxdepth"> <property name="text"> - <string>GFLow at max depth</string> + <string>GFLow at max. depth</string> </property> </widget> </item> |