diff options
| author | Christoph Horn | 2022-05-05 07:55:37 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-05-20 01:32:59 +0000 |
| commit | e7e13dcf0681999fcc601aab54c45ddf9b3f22d3 (patch) | |
| tree | d2cfc4058eaed3943c132b601e654872f1afbdbc /runtime/themes/monokai_pro.toml | |
| parent | 82fb217b6a99548065899b8405198eb08442803a (diff) | |
add `ui.menu` to default theme
Diffstat (limited to 'runtime/themes/monokai_pro.toml')
0 files changed, 0 insertions, 0 deletions