wv.KeyPressEvent += WebView_KeyPress;
}
- public override void Deinit(WebThing wt) {
- SaveConfig();
- }
-
private void Window_KeyPress(object o, KeyPressEventArgs e) {
if ((Gdk.ModifierType.ControlMask & e.Event.State) != 0) {
switch(e.Event.Key) {
Options[args[1]] = args[2];
ApplyOptions();
break;
+ case "save":
+ SaveConfig();
+ break;
default:
bool found;
if (args.Length > 1) {