Christian Chiarulli
|
da6c70b7c0
|
fix: circle icons was being cut off for some fonts
|
2023-07-04 19:46:59 -04:00 |
|
Christian Chiarulli
|
28dbec26c3
|
feat: use code chevrons (#4184)
|
2023-05-20 07:57:58 -04:00 |
|
CPea
|
44c1a3d738
|
fix: replace obsolete icons (#4111)
* fix(icons): replace obsolete icons
* remove the trailing space of Triangle
|
2023-05-06 17:47:03 +02:00 |
|
Antoine Cotten
|
5951c431e6
|
chore: replace deprecated MDI Orbit icon (#3880)
|
2023-02-25 12:23:56 +01:00 |
|
Christian Chiarulli
|
3262e50818
|
feat: use codicons that are available for nerdfonts now (#3646)
|
2022-12-22 01:17:00 -05:00 |
|
Christian Chiarulli
|
9dfb9ef250
|
feat: add new copilot and other sources (#3171)
|
2022-10-07 00:50:01 -04:00 |
|
Christian Chiarulli
|
1eed9f572f
|
feat(dap): buffernames for elements, icons, hide dap-repl by default (#3156)
|
2022-10-06 02:49:58 +00:00 |
|
Philippe Richard
|
8767a17b5e
|
feat: move icons to a single icons file (#3115)
|
2022-10-02 23:48:23 -04:00 |
|