|
|
@@ -185,6 +185,10 @@ class Preferences {
|
|
|
return this._prefs.editorBuildData;
|
|
|
}
|
|
|
|
|
|
+ get editorFeatures(): EditorFeatures {
|
|
|
+ return this._prefs.editorFeatures;
|
|
|
+ }
|
|
|
+
|
|
|
static getInstance(): Preferences {
|
|
|
return Preferences.instance;
|
|
|
}
|
|
|
@@ -335,6 +339,9 @@ interface EditorBuildData {
|
|
|
lastEditorBuildSHA: string;
|
|
|
}
|
|
|
|
|
|
+interface EditorFeatures {
|
|
|
+ closePlayerLog: boolean;
|
|
|
+}
|
|
|
|
|
|
class PreferencesFormat {
|
|
|
|
|
|
@@ -388,6 +395,10 @@ class PreferencesFormat {
|
|
|
lastEditorBuildSHA: "Unversioned Build"
|
|
|
};
|
|
|
|
|
|
+ this.editorFeatures = {
|
|
|
+ closePlayerLog: true
|
|
|
+ };
|
|
|
+
|
|
|
}
|
|
|
|
|
|
/**
|
|
|
@@ -433,6 +444,11 @@ class PreferencesFormat {
|
|
|
updatedMissingDefaults = true;
|
|
|
}
|
|
|
|
|
|
+ if (!prefs.editorFeatures) {
|
|
|
+ prefs.editorFeatures = this.editorFeatures;
|
|
|
+ updatedMissingDefaults = true;
|
|
|
+ }
|
|
|
+
|
|
|
return updatedMissingDefaults;
|
|
|
}
|
|
|
|
|
|
@@ -443,6 +459,7 @@ class PreferencesFormat {
|
|
|
uiData: UserInterfaceData;
|
|
|
editorBuildData: EditorBuildData;
|
|
|
colorHistory: string[];
|
|
|
+ editorFeatures: EditorFeatures;
|
|
|
}
|
|
|
|
|
|
export = Preferences;
|