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