file_watch + builtins + config: richer watch semantics, new builtins, config docs

1 files changed, 7 insertions, 0 deletions

diff --git a/src/config.zig b/src/config.zig
index f58716e5..965570f9 100644
--- a/src/config.zig
+++ b/src/config.zig
@@ -208,6 +208,13 @@ pub const leader_path = paths: {
     // The web build has no runnable effect argument, so it has no command,
     // help row, dispatcher case, or leader entry for EffectCode either.
     if (builtins.EffectCode.enabled) table.set(.EffectCode, null);
+    // Native-only filesystem theme commands. ThemeFile needs an operand and
+    // DumpThemes is intentionally occasional, so both stay word-executed
+    // rather than spending leader chords.
+    if (pardes.platform != .web) {
+        table.set(.ThemeFile, null);
+        table.set(.DumpThemes, null);
+    }
     // The pane-local PDF commands exist only in MuPDF builds through their
     // explicit registry availability, so name their paths inside the same
     // comptime branch. PdfTint/PdfFit retain their display slots and