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 /icons | |
| 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 'icons')
| -rw-r--r-- | icons/pref_media.png | bin | 0 -> 658 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/icons/pref_media.png b/icons/pref_media.png Binary files differnew file mode 100644 index 000000000..84fd986a9 --- /dev/null +++ b/icons/pref_media.png |
