dsh-windows-mcp 0.2.0 → 0.2.1

package/lib/client.js

@@ -32,6 +32,14 @@ window.__ModuleLoader__.load({
     var PREPARE_CANCEL_PATH = "/dsh-windows-mcp/prepare/cancel";
     var BRIDGE_PATH = "/dsh-windows-mcp/bridge";
     var UPDATE_PATH = "/dsh-windows-mcp/update";
+    var SETTINGS_PATH = "/dsh-windows-mcp/settings";
+    var SETTINGS_SLOT = "settings.section";
+    var SETTINGS_ENTRY_ID = "windows-mcp-settings";
+    var SETTINGS_ORDER = 62;
+    var SETTINGS_NAV_ICON_MARKER = "data-dwmc-nav-icon";
+    var SETTINGS_NAV_ICON_STYLE_ID = PACKAGE_ID + "-settings-nav-icon-styles";
+    var SETTINGS_NAV_ROW_SELECTOR = '[role="dialog"] nav button';
+    var REPO_URL = "https://github.com/helloHub1212/dsh-windows-mcp";
     var STYLE_ID = PACKAGE_ID + "-computer-use-styles";
     var LABEL = "Computer Use";
     /** Only `slots` is injected: it is certainly provided, and a declaration for
@@ -91,6 +99,35 @@ window.__ModuleLoader__.load({
       "color:var(--dsw-alias-label-secondary);white-space:pre-wrap;word-break:break-all}",
       ".dwmc-mono{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:11px}",
       "@media (prefers-reduced-motion:reduce){.dwmc-progress>i{animation:none}}",
+      /* Settings page: plain cards, one control per row, theme tokens only. */
+      ".dwmc-set{display:flex;flex-direction:column;gap:18px;max-width:720px;",
+      "color:var(--dsw-alias-label-primary);font-size:13px;line-height:1.55}",
+      ".dwmc-set__head{display:flex;flex-direction:column;gap:4px}",
+      ".dwmc-set__title{margin:0;font-size:16px;font-weight:600}",
+      ".dwmc-set__sub{margin:0;font-size:12px;color:var(--dsw-alias-label-secondary)}",
+      ".dwmc-card{border:1px solid var(--dsw-alias-border-l1);border-radius:12px;",
+      "background:var(--dsw-alias-bg-layer-1);padding:14px 16px;display:flex;flex-direction:column;gap:12px}",
+      ".dwmc-card__title{margin:0;font-size:13px;font-weight:600}",
+      ".dwmc-field{display:flex;align-items:center;justify-content:space-between;gap:16px;flex-wrap:wrap}",
+      ".dwmc-field__label{display:flex;flex-direction:column;gap:2px;min-width:180px}",
+      ".dwmc-field__hint{font-size:12px;color:var(--dsw-alias-label-secondary)}",
+      ".dwmc-input,.dwmc-select{font:inherit;font-size:12px;color:var(--dsw-alias-label-primary);",
+      "background:var(--dsw-alias-bg-base);border:1px solid var(--dsw-alias-border-l1);",
+      "border-radius:8px;padding:5px 8px;min-width:120px}",
+      ".dwmc-input:focus-visible,.dwmc-select:focus-visible{outline:2px solid",
+      "color-mix(in srgb,var(--dsw-alias-brand-primary) 45%,transparent);outline-offset:1px}",
+      ".dwmc-checks{display:flex;flex-wrap:wrap;gap:6px 14px}",
+      ".dwmc-check{display:inline-flex;align-items:center;gap:6px;font-size:12px;",
+      "color:var(--dsw-alias-label-primary);cursor:pointer}",
+      ".dwmc-check input{accent-color:var(--dsw-alias-brand-primary);margin:0}",
+      ".dwmc-set__actions{display:flex;align-items:center;gap:10px;flex-wrap:wrap}",
+      ".dwmc-star{display:inline-flex;align-items:center;gap:7px;height:30px;padding:0 14px;font:inherit;",
+      "font-size:12px;cursor:pointer;border-radius:8px;border:1px solid transparent;background:transparent;",
+      "color:var(--dsw-alias-brand-primary);",
+      "box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--dsw-alias-brand-primary) 42%,transparent)}",
+      ".dwmc-star:hover{background:color-mix(in srgb,var(--dsw-alias-brand-primary) 12%,transparent)}",
+      ".dwmc-star svg{width:14px;height:14px;display:block}",
+      ".dwmc-saved{font-size:12px;color:var(--dsw-alias-state-success-primary)}",
     ].join("");
 
     /** Inject the stylesheet once. Failures are cosmetic and never fatal. */
@@ -317,6 +354,37 @@ window.__ModuleLoader__.load({
         versionInstalled: "版本已切换，重启 DSH 生效。",
         noPrevious: "没有可回退的版本",
         updateHint: "更新只下载新版本、旧版本原样保留；出问题一键回退，不需要重装依赖。",
+        settingsTitle: "Windows-MCP 参数",
+        settingsNav: "桌面控制",
+        settingsSub: "调整桥接与更新行为；桥接参数写入配置后需要重启 DSH 才生效。",
+        settingsRestart: "桥接参数已写入配置，重启 DSH 后生效。",
+        settingsSaved: "已保存",
+        settingsSave: "保存",
+        settingsSaving: "保存中…",
+        settingsRevert: "还原",
+        settingsFailed: "保存失败",
+        settingsIgnored: "部分取值无效，已回退为默认值：",
+        sectionBridge: "桥接（重启 DSH 生效）",
+        sectionUpdates: "更新与镜像",
+        sectionAbout: "关于",
+        timeoutLabel: "工具调用超时",
+        timeoutHint: "毫秒，5000–600000。越长越不容易被中断，卡住时也等得越久。",
+        scaleLabel: "截图缩放",
+        scaleHint: "越小越省视觉 token，细节也越少。",
+        backendLabel: "截图后端",
+        backendHint: "auto 交给上游挑；dxcam 最快，pillow 最慢但最稳。",
+        flashLabel: "截图闪光边框",
+        flashHint: "关掉可少一次桌面重绘；默认关闭。",
+        excludeLabel: "屏蔽的工具",
+        excludeHint: "屏蔽的工具不会出现在模型工具表里，能省上下文。",
+        autoCheckLabel: "启动时检查更新",
+        autoCheckHint: "每次启动后台查一次最新版，结果缓存 6 小时。",
+        mirrorLabel: "首选镜像",
+        mirrorHint: "auto 用测速最快的镜像；固定某个可避开波动。",
+        starLabel: "点个 star",
+        starHint: "觉得有用就给个 star，插件会继续维护。",
+        aboutRepo: "仓库",
+        aboutVersion: "版本",
       },
       en: {
         title: "Windows desktop automation (Windows-MCP)",
@@ -360,6 +428,37 @@ window.__ModuleLoader__.load({
         versionInstalled: "Version switched — restart DSH to apply it.",
         noPrevious: "no previous version to roll back to",
         updateHint: "An update only downloads the new build; the old one is kept as-is. Roll back with one click — no reinstall.",
+        settingsTitle: "Windows-MCP settings",
+        settingsNav: "Desktop",
+        settingsSub: "Tune the bridge and the update behaviour. Bridge values apply after a DSH restart.",
+        settingsRestart: "Bridge values were written to the patch layer — restart DSH to apply them.",
+        settingsSaved: "Saved",
+        settingsSave: "Save",
+        settingsSaving: "Saving…",
+        settingsRevert: "Revert",
+        settingsFailed: "Could not save",
+        settingsIgnored: "Some values were invalid and fell back to the defaults:",
+        sectionBridge: "Bridge (applies after a DSH restart)",
+        sectionUpdates: "Updates and mirrors",
+        sectionAbout: "About",
+        timeoutLabel: "Tool call timeout",
+        timeoutHint: "Milliseconds, 5000–600000. Longer waits are interrupted less often, and stall longer when something hangs.",
+        scaleLabel: "Screenshot scale",
+        scaleHint: "Smaller costs fewer vision tokens and shows less detail.",
+        backendLabel: "Screenshot backend",
+        backendHint: "auto lets the server choose; dxcam is fastest, pillow slowest but most compatible.",
+        flashLabel: "Screenshot flash border",
+        flashHint: "Turning it off saves one desktop repaint; off by default.",
+        excludeLabel: "Hidden tools",
+        excludeHint: "Hidden tools stay out of the model's tool table, which saves context.",
+        autoCheckLabel: "Check for updates at boot",
+        autoCheckHint: "One background check per boot, cached for six hours.",
+        mirrorLabel: "Preferred mirror",
+        mirrorHint: "auto uses the fastest probe; pinning one avoids jitter.",
+        starLabel: "Star on GitHub",
+        starHint: "If it helps, a star keeps the plugin maintained.",
+        aboutRepo: "Repository",
+        aboutVersion: "Version",
       },
     };
 
@@ -641,6 +740,352 @@ window.__ModuleLoader__.load({
       return React.createElement(WindowsMcpPanel, { __compact: true });
     }
 
+    /* ------------------------------------------------------------------ *
+     * settings page
+     * ------------------------------------------------------------------ */
+
+    var SCALE_CHOICES = [0.25, 0.5, 0.75, 1];
+    var BACKEND_CHOICES = ["auto", "dxcam", "mss", "pillow"];
+    var MIRROR_CHOICES = ["auto", "ustc", "aliyun", "tencent", "huawei", "nju", "tuna", "pypi"];
+    var EXCLUDE_CHOICES = ["App", "PowerShell", "FileSystem"];
+
+    /** A mutable copy of the host settings, so a form never edits state in place. */
+    function cloneSettings(input) {
+      var bridge = input && input.bridge ? input.bridge : {};
+      var plugin = input && input.plugin ? input.plugin : {};
+      return {
+        bridge: {
+          toolCallTimeoutMs: Number(bridge.toolCallTimeoutMs),
+          excludeTools: Array.isArray(bridge.excludeTools) ? bridge.excludeTools.slice() : [],
+          screenshotScale: Number(bridge.screenshotScale),
+          screenshotBackend: String(bridge.screenshotBackend || "auto"),
+          disableFlash: bridge.disableFlash === true,
+        },
+        plugin: {
+          autoCheckUpdates: plugin.autoCheckUpdates === true,
+          preferredMirror: String(plugin.preferredMirror || "auto"),
+        },
+      };
+    }
+
+    /** GET/POST the host settings; only the settings page mounts this. */
+    function useSettings() {
+      var pair = React.useState({ phase: "loading", view: null, error: null });
+      var view = pair[0];
+      var setView = pair[1];
+      var savedPair = React.useState({ phase: "idle", body: null, error: null });
+      var saved = savedPair[0];
+      var setSaved = savedPair[1];
+
+      var load = React.useCallback(function () {
+        return fetch(apiUrl(SETTINGS_PATH), { headers: { accept: "application/json" } })
+          .then(function (response) {
+            return response.json();
+          })
+          .then(function (body) {
+            setView({ phase: "ready", view: body, error: null });
+            return body;
+          })
+          .catch(function (error) {
+            setView({ phase: "error", view: null, error: String(error && error.message ? error.message : error) });
+          });
+      }, []);
+
+      React.useEffect(
+        function () {
+          load();
+        },
+        [load],
+      );
+
+      var save = React.useCallback(function (next) {
+        setSaved({ phase: "saving", body: null, error: null });
+        return fetch(apiUrl(SETTINGS_PATH), {
+          method: "POST",
+          headers: { accept: "application/json", "content-type": "application/json" },
+          body: JSON.stringify({ settings: next }),
+        })
+          .then(function (response) {
+            return response.json();
+          })
+          .then(function (body) {
+            setView({ phase: "ready", view: body, error: null });
+            setSaved({ phase: body && body.ok === false ? "error" : "saved", body: body, error: null });
+            return body;
+          })
+          .catch(function (error) {
+            setSaved({ phase: "error", body: null, error: String(error && error.message ? error.message : error) });
+            return null;
+          });
+      }, []);
+
+      return { view: view, saved: saved, save: save, reload: load };
+    }
+
+    function starIcon() {
+      return React.createElement(
+        "svg",
+        { viewBox: "0 0 16 16", fill: "currentColor", "aria-hidden": "true" },
+        React.createElement("path", {
+          d: "M8 1.2l2.06 4.18 4.61.67-3.34 3.25.79 4.6L8 11.73l-4.12 2.17.79-4.6L1.33 6.05l4.61-.67z",
+        }),
+      );
+    }
+
+    /** Settings → left rail: the plugin's parameter page. */
+    function SettingsPage() {
+      var t = copy();
+      var host = useSettings();
+      var view = host.view;
+      var draftPair = React.useState(null);
+      var draft = draftPair[0];
+      var setDraft = draftPair[1];
+
+      var ready = view.phase === "ready" && view.view && view.view.settings ? view.view : null;
+
+      React.useEffect(
+        function () {
+          if (ready !== null) setDraft(cloneSettings(ready.settings));
+        },
+        [ready === null ? null : JSON.stringify(ready.settings)],
+      );
+
+      if (view.phase === "loading") return React.createElement("p", { className: "dwmc-note" }, t.checking);
+      if (view.phase === "error") return React.createElement("p", { className: "dwmc-error" }, t.hostDown + " — " + String(view.error || ""));
+      if (draft === null || ready === null) return React.createElement("p", { className: "dwmc-note" }, t.checking);
+
+      var dirty = JSON.stringify(draft) !== JSON.stringify(cloneSettings(ready.settings));
+      var saving = host.saved.phase === "saving";
+
+      var update = function (section, key, value) {
+        var next = cloneSettings(draft);
+        next[section][key] = value;
+        setDraft(next);
+      };
+      var toggleExclude = function (name) {
+        var next = cloneSettings(draft);
+        var at = next.bridge.excludeTools.indexOf(name);
+        if (at === -1) next.bridge.excludeTools.push(name);
+        else next.bridge.excludeTools.splice(at, 1);
+        setDraft(next);
+      };
+      var save = function () {
+        host.save(draft).then(function (body) {
+          if (body && body.settings) setDraft(cloneSettings(body.settings));
+        });
+      };
+
+      var field = function (label, hint, control) {
+        return React.createElement(
+          "div",
+          { className: "dwmc-field", key: label },
+          React.createElement(
+            "div",
+            { className: "dwmc-field__label" },
+            React.createElement("span", null, label),
+            hint ? React.createElement("span", { className: "dwmc-field__hint" }, hint) : null,
+          ),
+          control,
+        );
+      };
+      var check = function (label, checked, onChange, key) {
+        return React.createElement(
+          "label",
+          { className: "dwmc-check", key: key || label },
+          React.createElement("input", { type: "checkbox", checked: checked === true, onChange: function (event) { onChange(event.target.checked); } }),
+          label,
+        );
+      };
+      var card = function (title, children) {
+        return React.createElement(
+          "section",
+          { className: "dwmc-card" },
+          React.createElement("h3", { className: "dwmc-card__title" }, title),
+          children,
+        );
+      };
+
+      var bridgeCard = card(t.sectionBridge, [
+        field(
+          t.timeoutLabel,
+          t.timeoutHint,
+          React.createElement("input", {
+            className: "dwmc-input",
+            type: "number",
+            min: 5000,
+            max: 600000,
+            step: 1000,
+            value: String(draft.bridge.toolCallTimeoutMs),
+            onChange: function (event) {
+              update("bridge", "toolCallTimeoutMs", Number(event.target.value));
+            },
+          }),
+        ),
+        field(
+          t.scaleLabel,
+          t.scaleHint,
+          React.createElement(
+            "select",
+            {
+              className: "dwmc-select",
+              value: String(draft.bridge.screenshotScale),
+              onChange: function (event) {
+                update("bridge", "screenshotScale", Number(event.target.value));
+              },
+            },
+            SCALE_CHOICES.map(function (scale) {
+              return React.createElement("option", { key: String(scale), value: String(scale) }, String(scale));
+            }),
+          ),
+        ),
+        field(
+          t.backendLabel,
+          t.backendHint,
+          React.createElement(
+            "select",
+            {
+              className: "dwmc-select",
+              value: draft.bridge.screenshotBackend,
+              onChange: function (event) {
+                update("bridge", "screenshotBackend", event.target.value);
+              },
+            },
+            BACKEND_CHOICES.map(function (backend) {
+              return React.createElement("option", { key: backend, value: backend }, backend);
+            }),
+          ),
+        ),
+        field(
+          t.flashLabel,
+          t.flashHint,
+          React.createElement("input", {
+            type: "checkbox",
+            checked: draft.bridge.disableFlash === false ? false : true,
+            onChange: function (event) {
+              update("bridge", "disableFlash", event.target.checked);
+            },
+          }),
+        ),
+        field(
+          t.excludeLabel,
+          t.excludeHint,
+          React.createElement(
+            "div",
+            { className: "dwmc-checks" },
+            EXCLUDE_CHOICES.map(function (name) {
+              return check(name, draft.bridge.excludeTools.indexOf(name) !== -1, function () { toggleExclude(name); }, name);
+            }),
+          ),
+        ),
+      ]);
+
+      var updatesCard = card(t.sectionUpdates, [
+        field(
+          t.autoCheckLabel,
+          t.autoCheckHint,
+          React.createElement("input", {
+            type: "checkbox",
+            checked: draft.plugin.autoCheckUpdates === true,
+            onChange: function (event) {
+              update("plugin", "autoCheckUpdates", event.target.checked);
+            },
+          }),
+        ),
+        field(
+          t.mirrorLabel,
+          t.mirrorHint,
+          React.createElement(
+            "select",
+            {
+              className: "dwmc-select",
+              value: draft.plugin.preferredMirror,
+              onChange: function (event) {
+                update("plugin", "preferredMirror", event.target.value);
+              },
+            },
+            MIRROR_CHOICES.map(function (mirror) {
+              return React.createElement("option", { key: mirror, value: mirror }, mirror);
+            }),
+          ),
+        ),
+      ]);
+
+      var notes = [];
+      if (host.saved.phase === "saved") notes.push(React.createElement("span", { key: "saved", className: "dwmc-saved" }, t.settingsSaved));
+      if (host.saved.phase === "error") notes.push(React.createElement("span", { key: "err", className: "dwmc-error" }, t.settingsFailed));
+      if (ready.restartRequired && host.saved.phase !== "saving") {
+        notes.push(React.createElement("span", { key: "restart", className: "dwmc-warn" }, t.settingsRestart));
+      }
+      if (host.saved.body && Array.isArray(host.saved.body.problems) && host.saved.body.problems.length > 0) {
+        notes.push(React.createElement("span", { key: "ignored", className: "dwmc-warn" }, t.settingsIgnored + " " + host.saved.body.problems.join(", ")));
+      }
+
+      var aboutCard = card(t.sectionAbout, [
+        React.createElement(
+          "div",
+          { className: "dwmc-rows" },
+          React.createElement("dt", null, t.aboutVersion),
+          React.createElement("dd", { className: "dwmc-mono" }, "v" + String(ready.pluginVersion || "?")),
+          React.createElement("dt", null, t.aboutRepo),
+          React.createElement(
+            "dd",
+            null,
+            React.createElement("a", { className: "dwmc-mono", href: REPO_URL, target: "_blank", rel: "noopener noreferrer" }, REPO_URL.replace("https://", "")),
+          ),
+        ),
+        React.createElement(
+          "div",
+          { className: "dwmc-set__actions" },
+          React.createElement(
+            "button",
+            {
+              type: "button",
+              className: "dwmc-star",
+              onClick: function () {
+                try {
+                  window.open(REPO_URL, "_blank", "noopener,noreferrer");
+                } catch (error) {
+                  /* a blocked popup is not worth failing the page over */
+                }
+              },
+            },
+            starIcon(),
+            t.starLabel,
+          ),
+          React.createElement("span", { className: "dwmc-note" }, t.starHint),
+        ),
+      ]);
+
+      return React.createElement(
+        "div",
+        { className: "dwmc-set" },
+        React.createElement(
+          "div",
+          { className: "dwmc-set__head" },
+          React.createElement("h2", { className: "dwmc-set__title" }, t.settingsTitle),
+          React.createElement("p", { className: "dwmc-set__sub" }, t.settingsSub),
+        ),
+        bridgeCard,
+        updatesCard,
+        aboutCard,
+        React.createElement(
+          "div",
+          { className: "dwmc-set__actions" },
+          React.createElement(
+            "button",
+            { type: "button", className: "dwmc-btn", onClick: save, disabled: saving || !dirty },
+            saving ? t.settingsSaving : t.settingsSave,
+          ),
+          React.createElement(
+            "button",
+            { type: "button", className: "dwmc-btn dwmc-btn--quiet", onClick: function () { setDraft(cloneSettings(ready.settings)); }, disabled: saving || !dirty },
+            t.settingsRevert,
+          ),
+          notes.length > 0 ? React.createElement("span", { className: "dwmc-set__actions" }, notes) : null,
+        ),
+      );
+    }
+
     /* ------------------------------------------------------------------ *
      * registration
      * ------------------------------------------------------------------ */
@@ -714,6 +1159,135 @@ window.__ModuleLoader__.load({
       }
     }
 
+    /**
+     * Settings → left rail. `settings.section` is a list slot: one page per
+     * registered entry, ordered by `order`, labelled by `label()`.
+     */
+    /**
+     * The glyph of the settings entry: a monitor with a cursor cut out of its
+     * screen ("this page drives the desktop"). `settings.section` has no icon
+     * field, so the entry is painted on the shell's nav row: the row is marked
+     * by matching its visible text against our own localized label, the shell's
+     * gear is hidden and a mask-image painted in `currentColor` takes its place.
+     */
+    function settingsNavMaskSvg() {
+      return [
+        '<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="#000">',
+        '<path fill-rule="evenodd" d="M2.6 2.6h10.8c.66 0 1.2.54 1.2 1.2v6.4c0 .66-.54 1.2-1.2 1.2H2.6',
+        'c-.66 0-1.2-.54-1.2-1.2V3.8c0-.66.54-1.2 1.2-1.2Zm3.1 2.5 4.5 2.85-2.1.36.98 2.06-1.16.55',
+        '-0.97-2.05-1.3 1.05z"/>',
+        '<rect x="7" y="11.2" width="2" height="1.7" rx=".3"/>',
+        '<rect x="5.2" y="12.9" width="5.6" height="1.4" rx=".7"/>',
+        "</svg>",
+      ].join("");
+    }
+
+    /** Encoded as a CSS `mask-image` source; the mask reads alpha only. */
+    function settingsNavMaskUrl(svg) {
+      var source = typeof svg === "string" ? svg : settingsNavMaskSvg();
+      return "data:image/svg+xml," + encodeURIComponent(source).replace(/'/gu, "%27");
+    }
+
+    /**
+     * Whether a nav row is this plugin's own. Pure: the row whose visible text
+     * is the label the shell currently projects, trimmed. An empty label matches
+     * nothing, so a locale that has not resolved yet never marks the whole nav.
+     */
+    function isOwnSettingsNavRow(rowText, wantedLabel) {
+      var wanted = String(wantedLabel === null || wantedLabel === undefined ? "" : wantedLabel).trim();
+      if (wanted.length === 0) return false;
+      return String(rowText === null || rowText === undefined ? "" : rowText).trim() === wanted;
+    }
+
+    /** Stylesheet for the marked row: hide the shell icon, draw ours. */
+    function settingsNavIconCss(maskUrl) {
+      var marker = "[" + SETTINGS_NAV_ICON_MARKER + "]";
+      return [
+        marker + " > svg{display:none}",
+        marker + "::before{content:'';flex:none;width:16px;height:16px;",
+        "background-color:currentColor;",
+        "-webkit-mask-image:url('" + maskUrl + "');mask-image:url('" + maskUrl + "');",
+        "-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat;",
+        "-webkit-mask-position:center;mask-position:center;",
+        "-webkit-mask-size:16px 16px;mask-size:16px 16px}",
+      ].join("");
+    }
+
+    /**
+     * Install the nav glyph. Idempotent, and a no-op outside a browser. The
+     * observer follows re-renders and locale switches, so the text and the
+     * glyph can never disagree; the marker and the stylesheet belong to the
+     * fiber when the client context offers `effect`.
+     */
+    function installSettingsNavIcon(ctx) {
+      if (typeof document === "undefined" || typeof MutationObserver !== "function") return null;
+      var install = function () {
+        var existing = document.getElementById(SETTINGS_NAV_ICON_STYLE_ID);
+        if (existing !== null) return function () {};
+        var style = document.createElement("style");
+        style.id = SETTINGS_NAV_ICON_STYLE_ID;
+        style.textContent = settingsNavIconCss(settingsNavMaskUrl());
+        document.head.appendChild(style);
+        var disposed = false;
+        var scheduled = false;
+        var sync = function () {
+          scheduled = false;
+          if (disposed) return;
+          var wanted = copy().settingsNav;
+          var rows = document.querySelectorAll(SETTINGS_NAV_ROW_SELECTOR);
+          for (var index = 0; index < rows.length; index += 1) {
+            var row = rows[index];
+            if (isOwnSettingsNavRow(row.textContent, wanted)) row.setAttribute(SETTINGS_NAV_ICON_MARKER, "");
+            else row.removeAttribute(SETTINGS_NAV_ICON_MARKER);
+          }
+        };
+        var schedule = function () {
+          if (scheduled || disposed) return;
+          scheduled = true;
+          if (typeof queueMicrotask === "function") queueMicrotask(sync);
+          else setTimeout(sync, 0);
+        };
+        sync();
+        var observer = new MutationObserver(schedule);
+        observer.observe(document.body, { childList: true, subtree: true, characterData: true });
+        return function () {
+          disposed = true;
+          observer.disconnect();
+          var marked = document.querySelectorAll("[" + SETTINGS_NAV_ICON_MARKER + "]");
+          for (var at = 0; at < marked.length; at += 1) marked[at].removeAttribute(SETTINGS_NAV_ICON_MARKER);
+          if (style.parentNode !== null) style.parentNode.removeChild(style);
+        };
+      };
+      if (ctx && typeof ctx.effect === "function") return ctx.effect(install, "dsh-windows-mcp: settings nav icon");
+      return install();
+    }
+
+    function registerSettingsSection(ctx) {
+      try {
+        ctx.slots.inject(SETTINGS_SLOT, function () {
+          return ctx.slots.register(
+            {
+              name: SETTINGS_SLOT,
+              id: SETTINGS_ENTRY_ID,
+              order: SETTINGS_ORDER,
+              label: function () {
+                return copy().settingsNav;
+              },
+            },
+            function SettingsSection() {
+              return React.createElement(SettingsPage, null);
+            },
+          );
+        });
+      } catch (error) {
+        try {
+          console.error("[" + PACKAGE_ID + "] settings section registration failed:", error);
+        } catch (ignored) {
+          /* nothing to do */
+        }
+      }
+    }
+
     /**
      * @param ctx - client cordis context.
      */
@@ -721,11 +1295,30 @@ window.__ModuleLoader__.load({
       installStyles();
       registerComposerPill(ctx);
       registerBundleSlots(ctx);
+      registerSettingsSection(ctx);
+      installSettingsNavIcon(ctx);
     }
 
     exports.apply = apply;
     exports.inject = inject;
-    exports.__internals = { CSS: CSS, apiUrl: apiUrl, tooltipFor: tooltipFor, LABEL: LABEL, STATE_PATH: STATE_PATH, UPDATE_PATH: UPDATE_PATH };
+    exports.__internals = {
+      CSS: CSS,
+      apiUrl: apiUrl,
+      tooltipFor: tooltipFor,
+      LABEL: LABEL,
+      STATE_PATH: STATE_PATH,
+      UPDATE_PATH: UPDATE_PATH,
+      SETTINGS_PATH: SETTINGS_PATH,
+      REPO_URL: REPO_URL,
+      SETTINGS_SLOT: SETTINGS_SLOT,
+      SETTINGS_NAV_ICON: settingsNavMaskSvg(),
+      SETTINGS_NAV_ICON_MARKER: SETTINGS_NAV_ICON_MARKER,
+      isOwnSettingsNavRow: isOwnSettingsNavRow,
+      settingsNavIconCss: settingsNavIconCss,
+      settingsNavMaskUrl: settingsNavMaskUrl,
+      cloneSettings: cloneSettings,
+      SettingsPage: SettingsPage,
+    };
     return module.exports;
   },
 });