Max Rumpf d89e552419 [Phoebe] Keymap improvements (#9092) ...

Enable leader key with some useful macros, use fancier design for keymap previews in code, other smaller tweaks

2020-05-15 23:43:10 -07:00

..

default

[Phoebe] Keymap improvements (#9092)

2020-05-15 23:43:10 -07:00