Disable TypeScript by default (#986)

Temporarily until
flathub/org.freedesktop.Sdk.Extension.typescript#29

data/app.gschema.xml

@@ -18,6 +18,9 @@
     <key name="first-run" type="b">
       <default>true</default>
     </key>
+    <key name="typescript" type="b">
+      <default>false</default>
+    </key>
   </schema>
   <schema id="@[email protected]" path="/re/sonny/Workbench/">
     <key name="show-code" type="b">

src/Extensions/Extensions.js

@@ -6,7 +6,7 @@ import Interface from "./Extensions.blp" with { type: "uri" };
 import illustration from "./extensions.svg";
 
 import "./Extension.js";
-import { getFlatpakInfo } from "../util.js";
+import { getFlatpakInfo, settings } from "../util.js";
 
 export const action_extensions = new Gio.SimpleAction({
   name: "extensions",
@@ -34,6 +34,7 @@ export function Extensions({ window }) {
 
   extension_typescript.available = isTypeScriptAvailable();
   extension_typescript.command = `flatpak install flathub org.freedesktop.Sdk.Extension.${node}//${freedesktop_version} org.freedesktop.Sdk.Extension.typescript//${freedesktop_version}`;
+  extension_typescript.visible = isTypeScriptEnabled();
 
   for (const extension of [
     extension_rust,
@@ -71,6 +72,7 @@ export function isValaAvailable() {
 let typescript_available = null;
 export function isTypeScriptAvailable() {
   typescript_available ??=
+    isTypeScriptEnabled() &&
     Gio.File.new_for_path("/usr/lib/sdk/typescript").query_exists(null) &&
     Gio.File.new_for_path(`/usr/lib/sdk/${node}`).query_exists(null);
   return typescript_available;
@@ -80,3 +82,7 @@ const llvm = "llvm18";
 const node = "node20";
 const runtime = getFlatpakInfo().get_string("Application", "runtime");
 const freedesktop_version = runtime.endsWith("master") ? "24.08" : "24.08";
+
+export function isTypeScriptEnabled() {
+  return settings.get_boolean("typescript");
+}

src/Library/Library.js

@@ -21,6 +21,7 @@ import {
   needsAdditionalPermissions,
   showPermissionsDialog,
 } from "../Permissions/Permissions.js";
+import { isTypeScriptEnabled } from "../Extensions/Extensions.js";
 
 export default function Library({ application }) {
   const objects = build(resource);
@@ -75,8 +76,10 @@ export default function Library({ application }) {
     { id: "python", name: _("Python"), index: 2 },
     { id: "rust", name: _("Rust"), index: 3 },
     { id: "vala", name: _("Vala"), index: 4 },
-    { id: "typescript", name: _("TypeScript"), index: 5 },
   ];
+  if (isTypeScriptEnabled()) {
+    languages.push({ id: "typescript", name: _("TypeScript"), index: 5 });
+  }
   const languages_by_id = Object.fromEntries(
     languages.map((language) => [language.id, language]),
   );

src/window.blp

@@ -180,15 +180,7 @@ Adw.ApplicationWindow window {
                 }
 
                 DropDown dropdown_code_lang {
-                  model: StringList {
-                    strings [
-                      "JavaScript",
-                      "Vala",
-                      "Rust",
-                      "Python",
-                      "TypeScript",
-                    ]
-                  };
+                  model: StringList {};
 
                   tooltip-text: _("Switch Document");
                 }

src/window.js

@@ -31,6 +31,7 @@ import {
   Extensions,
   isRustAvailable,
   isTypeScriptAvailable,
+  isTypeScriptEnabled,
   isValaAvailable,
 } from "./Extensions/Extensions.js";
 import { Permissions } from "./Permissions/Permissions.js";
@@ -70,6 +71,14 @@ export default function Window({ application, session }) {
   });
   Permissions({ window });
 
+  const dropdown_code_lang = builder.get_object("dropdown_code_lang");
+  for (const lang of ["JavaScript", "Vala", "Rust", "Python"]) {
+    dropdown_code_lang.model.append(lang);
+  }
+  if (isTypeScriptEnabled()) {
+    dropdown_code_lang.model.append("TypeScript");
+  }
+
   // Popover menu theme switcher
   const button_menu = builder.get_object("button_menu");
   const popover = button_menu.get_popover();