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
