diff options
| author |  willemferguson <willemferguson@zoology.up.ac.za> | 2019-12-08 11:30:16 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-12-25 02:57:42 +0900 |
| commit | 2ac279d12953ad840ade1c08d0eff5c2f4adb0b9 (patch) | |
| tree | 9f2d70f50cb910803e260fa9d3bdad2687d820ad /desktop-widgets/preferences/preferences_graph.ui | |
| parent | 3e853e37a5b0b9509fb92b1ddb3031f117578fb9 (diff) | |
| download | subsurface-2ac279d12953ad840ade1c08d0eff5c2f4adb0b9.tar.gz | |
Pereferences UI: add media tab
Remove the preference settings dealing with thumbnails (currently under
General preferences and Profile preferences) and put them in a newly-created
Media preference tab.
Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/preferences/preferences_graph.ui')
| -rw-r--r-- | desktop-widgets/preferences/preferences_graph.ui | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/desktop-widgets/preferences/preferences_graph.ui b/desktop-widgets/preferences/preferences_graph.ui index ab7e12f87..9fd3a11c7 100644 --- a/desktop-widgets/preferences/preferences_graph.ui +++ b/desktop-widgets/preferences/preferences_graph.ui @@ -361,13 +361,6 @@ </property> </widget> </item> - <item row="1" column="0" colspan="2"> - <widget class="QCheckBox" name="auto_recalculate_thumbnails"> - <property name="text"> - <string>Recalculate thumbnails if older than media file</string> - </property> - </widget> - </item> </layout> </widget> </item> |