8 Commits

Author	SHA1	Message	Date
Vincent Sanders	fd1a709490	change web search option to use provider name instead of index	2024-05-27 14:29:23 +01:00
Michael Drake	9a98f19611	Core: Remove unused minimum GIF delay option.	2020-02-21 11:45:20 +00:00
Vincent Sanders	3fdbef0566	remove unused render_resample option from beos, gtk and monkey frontends	2019-12-21 20:52:22 +00:00
Vincent Sanders	bacd8d229c	make RISC OS specific window_screen_ options limited to that frontend	2019-12-20 12:59:28 +00:00
Vincent Sanders	918b1d0fed	remove long unused plugin option from gtk and monkey	2019-12-17 22:09:41 +00:00
Vincent Sanders	124d3fe9f0	add some more bad values to choices file to ensure parser can cope	2016-08-06 10:43:52 +01:00
Vincent Sanders	b2a78c5c6e	improve user option testing to cover all the API	2016-08-06 00:06:44 +01:00
Vincent Sanders	c1e864656d	add tests for new options API	2013-05-28 14:16:10 +01:00