13 Commits

Author	SHA1	Message	Date
Aldo Cortesi	1cb1ee411b	console: palette picker for the options screen	2015-04-07 08:42:40 +12:00
Aldo Cortesi	538f215458	console: factor out selection widget	2015-04-06 18:28:51 +12:00
Aldo Cortesi	0d6de19b07	console: sticky cookies and auth to options screen	2015-04-06 17:30:12 +12:00
Aldo Cortesi	c4e0f9d8d7	console: TCP proxy patterns to new options screen	2015-04-06 17:19:52 +12:00
Aldo Cortesi	ec7572697a	console: default display mode to new options screen	2015-04-06 17:14:32 +12:00
Aldo Cortesi	acb6b5667c	console: scripts to new options screen	2015-04-06 17:11:02 +12:00
Aldo Cortesi	488adcb79e	console: replacement patterns to new option screen	2015-04-06 17:05:52 +12:00
Aldo Cortesi	15246c3403	console: ignore patterns to new options screen.	2015-04-06 17:02:51 +12:00
Aldo Cortesi	9e39999706	Add headings to options, start migrating more options into options screen ... SetHeaders first...	2015-04-06 16:47:58 +12:00
Aldo Cortesi	3704411466	Minimal help context for options	2015-04-03 20:04:19 +13:00
Aldo Cortesi	41a1a0bef3	console: C to clear all options, correct footer in options screen	2015-04-03 14:47:55 +13:00
Aldo Cortesi	57bdb89342	console: keyboard shortcuts for options	2015-04-03 14:38:04 +13:00
Aldo Cortesi	65971f02ad	console: basic options page	2015-04-03 14:10:57 +13:00