diff options
Diffstat (limited to 'src/config.zig')
| -rw-r--r-- | src/config.zig | 7 |
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 |
