diff options
author | Michael Drake <michael.drake@codethink.co.uk> | 2020-02-21 11:41:45 +0000 |
---|---|---|
committer | Michael Drake <michael.drake@codethink.co.uk> | 2020-02-21 11:45:20 +0000 |
commit | bcf82925a3fc015feb728ede6be8b796d5436630 (patch) | |
tree | a4aa60e5142ac9cb64a6d16d933c4e4d7c96cf42 /frontends/gtk/preferences.c | |
parent | d1e8c84ea60e727d49ea51191cc4c2b6dcf886db (diff) | |
download | netsurf-bcf82925a3fc015feb728ede6be8b796d5436630.tar.gz netsurf-bcf82925a3fc015feb728ede6be8b796d5436630.tar.bz2 |
GTK: Remove unused minimum GIF delay option.
Diffstat (limited to 'frontends/gtk/preferences.c')
-rw-r--r-- | frontends/gtk/preferences.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/frontends/gtk/preferences.c b/frontends/gtk/preferences.c index 8ec41ca2c..a44e7241e 100644 --- a/frontends/gtk/preferences.c +++ b/frontends/gtk/preferences.c @@ -475,9 +475,6 @@ nsgtk_preferences_comboboxLoadImages_realize(GtkWidget *widget, /* enable animation */ TOGGLEBUTTON_SIGNALS(checkEnableAnimations, animate_images) -/* frame time */ -SPINBUTTON_SIGNALS(spinAnimationSpeed, minimum_gif_delay, 100.0) - /* Fonts */ /* default font */ |