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_defaults.h | |
| 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_defaults.h')
| -rw-r--r-- | desktop-widgets/preferences/preferences_defaults.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/desktop-widgets/preferences/preferences_defaults.h b/desktop-widgets/preferences/preferences_defaults.h index 48e633ceb..4c18fcdd9 100644 --- a/desktop-widgets/preferences/preferences_defaults.h +++ b/desktop-widgets/preferences/preferences_defaults.h @@ -20,15 +20,11 @@ public slots: void on_chooseFile_clicked(); void on_btnUseDefaultFile_toggled(bool toggled); void on_localDefaultFile_toggled(bool toggled); - void on_ffmpegFile_clicked(); - void on_ffmpegExecutable_editingFinished(); - void on_extractVideoThumbnails_toggled(bool toggled); void on_resetSettings_clicked(); void on_resetRememberedDCs_clicked(); private: Ui::PreferencesDefaults *ui; - void checkFfmpegExecutable(); }; |