|
icons
|
Update diagnostic status bar tool
|
2023-11-18 00:54:01 -05:00 |
|
keymaps
|
Update jetbrains keymap to match community repo
|
2023-11-13 10:41:56 -05:00 |
|
settings
|
Fix most of the TODOs
|
2023-11-17 21:40:57 +02:00 |
|
themes
|
Re-import the Synthwave 84 theme (#3297)
|
2023-11-09 18:56:42 -05:00 |
