summaryrefslogtreecommitdiff
path: root/desktop
diff options
context:
space:
mode:
authorMichael Drake <michael.drake@codethink.co.uk>2020-02-21 11:44:13 +0000
committerMichael Drake <michael.drake@codethink.co.uk>2020-02-21 11:45:20 +0000
commit9a98f19611dad6af594cdda78bfeda56e0f9eafc (patch)
tree104c0909af9ea7e41961d9bb6652f6fa3c7a00b7 /desktop
parentcbaf33e02d45d05e1a23080f9bc0a8cd6c5f96fc (diff)
downloadnetsurf-9a98f19611dad6af594cdda78bfeda56e0f9eafc.tar.gz
netsurf-9a98f19611dad6af594cdda78bfeda56e0f9eafc.tar.bz2
Core: Remove unused minimum GIF delay option.
Diffstat (limited to 'desktop')
-rw-r--r--desktop/options.h3
1 files changed, 0 insertions, 3 deletions
diff --git a/desktop/options.h b/desktop/options.h
index 0e56ad350..326e041f6 100644
--- a/desktop/options.h
+++ b/desktop/options.h
@@ -105,9 +105,6 @@ NSOPTION_BOOL(block_advertisements, false)
* http://www.w3.org/Submission/2011/SUBM-web-tracking-protection-20110224/#dnt-uas */
NSOPTION_BOOL(do_not_track, false)
-/** Minimum GIF animation delay */
-NSOPTION_INTEGER(minimum_gif_delay, 10)
-
/** Whether to send the referer HTTP header */
NSOPTION_BOOL(send_referer, true)