10 Commits

Author	SHA1	Message	Date
Vincent Sanders	8ee04cf68f	remove unused theme ui elements from preferances dialog	2016-03-09 09:07:33 +00:00
Vincent Sanders	1e2584aa14	add missing arrow down pixmap resource	2016-03-08 15:58:48 +00:00
Anthony J. Bentley	ad414165f9	Typo fix: maintinance → maintenance in gtk frontend (closes #2217)	2014-11-10 22:39:28 +00:00
Vincent Sanders	ca077b0638	fixup preference dialog handling of Developer view options	2014-08-02 02:20:25 +01:00
Vincent Sanders	8e29e517d5	fix disc cache size option to be unsigned	2014-06-09 13:13:59 +01:00
Vincent Sanders	4e24869524	Add and use no proxy list option	2013-06-04 18:11:15 +01:00
Vincent Sanders	69a26c50a3	add translation tokens for GTK preferences dialog	2013-04-17 12:02:53 +01:00
Vincent Sanders	bf75ba31ac	update gtk3 preferences dialog	2013-04-14 11:27:41 +01:00
Vincent Sanders	f12be4ed85	restructure GTK frontend options dialog to be compiant with the gnome HIG and actually work	2012-12-28 01:08:23 +00:00
Vincent Sanders	2622adaa1f	allow netsurf to build with gtk3 ... svn path=/trunk/netsurf/; revision=13926	2012-05-16 19:57:43 +00:00