16 Commits

Author	SHA1	Message	Date
Aldo Cortesi	a05a70d816	Add coding style check, reformat.	2015-05-30 12:03:28 +12:00
Aldo Cortesi	e963a9da48	console: suport unary attributes ... Attributes with no value are treated as unary, e.g. "Secure" rather than "Secure=". If you really want to have an empty attribute value you can edit the header directly. Behind the scenes, restructure GridEditor to know about data conversion in and out of the editor.	2015-04-17 12:54:29 +12:00
Aldo Cortesi	e76467e977	Refactor flow list state management ... - Use signal mechanism for state synchronisation - Move "Copy to clipboard" shortcut to "P"	2015-04-07 15:59:38 +12:00
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