Closed cosimameyer closed 1 year ago
Here is one place where we define the icons which might be a good starting point
@drmowinckels I believe this issue was closed with your PR, right? 😊
yes, I was going through my emails and I mangaed to wild-click with my mouse. This one is all sorted!
Here is one place where we define the icons which might be a good starting point