 CPea
|
44c1a3d738
fix: replace obsolete icons (#4111)
|
2 years ago |
 Antoine Cotten
|
5951c431e6
chore: replace deprecated MDI Orbit icon (#3880)
|
2 years ago |
 Christian Chiarulli
|
3262e50818
feat: use codicons that are available for nerdfonts now (#3646)
|
2 years ago |
|
Christian Chiarulli
|
9dfb9ef250
feat: add new copilot and other sources (#3171)
|
3 years ago |
|
Christian Chiarulli
|
1eed9f572f
feat(dap): buffernames for elements, icons, hide dap-repl by default (#3156)
|
3 years ago |
 Philippe Richard
|
8767a17b5e
feat: move icons to a single icons file (#3115)
|
3 years ago |
