Keep Theia config out of home dotfolder

2026-05-10 23:04:48 +00:00
parent 7de42e10df
commit 1ccf2fb1cf
16 changed files with 101 additions and 9 deletions
@@ -0,0 +1,6 @@
+import { PreferenceConfigurations } from '@theia/core/lib/common/preferences/preference-configurations.js';
+export declare const gitZoneWorkspacePreferenceFolder = ".git.zone/ide/workspace";
+export declare class GitZonePreferenceConfigurations extends PreferenceConfigurations {
+    getPaths(): string[];
+}
+//# sourceMappingURL=gitzone-preference-configurations.d.ts.map