From 382abe3dafb872b3e6c9792a9cc0abcf6267e180 Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Tue, 18 Aug 2026 14:21:38 -0300 Subject: file_watch + builtins + config: richer watch semantics, new builtins, config docs --- src/config.zig | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/config.zig') 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 -- cgit v1.3