feat: improve local terminal workflows

2026-07-22 11:57:52 +01:00
parent 4fc3b19441
commit 5d5993d9c4
20 changed files with 967 additions and 160 deletions
@@ -81,6 +81,7 @@ export namespace models {
 	    defaultCursorStyle: string;
 	    useNativePaste: boolean;
 	    localShell: string;
+	    leviathanEnabled: boolean;
 	
 	    static createFrom(source: any = {}) {
 	        return new AppPreferences(source);
@@ -101,6 +102,7 @@ export namespace models {
 	        this.defaultCursorStyle = source["defaultCursorStyle"];
 	        this.useNativePaste = source["useNativePaste"];
 	        this.localShell = source["localShell"];
+	        this.leviathanEnabled = source["leviathanEnabled"];
 	    }
 	}
 	export class AuditEntry {