feat: added quit-on-close option #18 #33

2026-06-21 14:03:43 +05:30 · 2026-05-26 11:20:05 +05:30
parent a213a1e8ad
commit eb4cb16bbd
6 changed files with 79 additions and 4 deletions
@@ -66,6 +66,7 @@ export interface Settings {
    pot_server_port: number;
    windows_filenames: boolean;
    restrict_filenames: boolean;
+    quit_on_close: boolean;
    // extension settings
    websocket_port: number;
 }