Commit 31900860c65b88e4d10ad7dd00377e2815cca0f6

Pierre Le Marre 2025-09-30T13:05:43

keymap: Make serialization of unused items optional When compiling a keymap from text, some items may be unnecessary in the final keymap, i.e. they do not affect the keymap behavior: - unused key types; - unused keysym interpretations. Deactivate the serialization of these items *by default* and add a new flag to enable it for debugging.