Release v0.13.1

This commit is contained in:
Mario Zechner 2025-12-06 23:12:36 +01:00
parent 2641424bfa
commit 95eadb9ed7
14 changed files with 132 additions and 35 deletions

View file

@ -17,6 +17,7 @@ export interface Settings {
theme?: string;
compaction?: CompactionSettings;
hideThinkingBlock?: boolean;
shellPath?: string; // Custom shell path (e.g., for Cygwin users on Windows)
}
export class SettingsManager {
@ -153,4 +154,13 @@ export class SettingsManager {
this.settings.hideThinkingBlock = hide;
this.save();
}
getShellPath(): string | undefined {
return this.settings.shellPath;
}
setShellPath(path: string | undefined): void {
this.settings.shellPath = path;
this.save();
}
}