DEFAULT_USER_SETTINGS

extensions/ql-vscode/src/common/interface-types.ts

@@ -152,6 +152,10 @@ export interface UserSettings {
   shouldShowProvenance: boolean;
 }
 
+export const DEFAULT_USER_SETTINGS: UserSettings = {
+  shouldShowProvenance: false,
+};
+
 /** Message indicating that the user's configuration settings have changed. */
 interface SetUserSettingsMsg {
   t: "setUserSettings";

extensions/ql-vscode/src/view/compare/Compare.tsx

@@ -7,6 +7,7 @@ import type {
   SetComparisonQueryInfoMessage,
   UserSettings,
 } from "../../common/interface-types";
+import { DEFAULT_USER_SETTINGS } from "../../common/interface-types";
 import CompareSelector from "./CompareSelector";
 import { vscode } from "../vscode-api";
 import CompareTable from "./CompareTable";
@@ -32,9 +33,9 @@ export function Compare(_: Record<string, never>): React.JSX.Element {
   const [comparison, setComparison] = useState<SetComparisonsMessage | null>(
     null,
   );
-  const [userSettings, setUserSettings] = useState<UserSettings>({
-    shouldShowProvenance: false,
-  });
+  const [userSettings, setUserSettings] = useState<UserSettings>(
+    DEFAULT_USER_SETTINGS,
+  );
 
   const message = comparison?.message || "Empty comparison";
   const hasRows =

extensions/ql-vscode/src/view/results/ResultsApp.tsx

@@ -13,6 +13,7 @@ import type {
 } from "../../common/interface-types";
 import {
   ALERTS_TABLE_NAME,
+  DEFAULT_USER_SETTINGS,
   GRAPH_TABLE_NAME,
 } from "../../common/interface-types";
 import { ResultTables } from "./ResultTables";
@@ -78,9 +79,9 @@ export function ResultsApp() {
     isExpectingResultsUpdate: true,
   });
 
-  const [userSettings, setUserSettings] = useState<UserSettings>({
-    shouldShowProvenance: false,
-  });
+  const [userSettings, setUserSettings] = useState<UserSettings>(
+    DEFAULT_USER_SETTINGS,
+  );
 
   const updateStateWithNewResultsInfo = useCallback(
     (resultsInfo: ResultsInfo): void => {