Klemens Schindler comments

Repositories
Issues
Comments

Results 2 comments of


                                            Klemens Schindler

Icons not shown in MPS 2020.3

I think I have also seen this at some point, but I just tried it out with the latest MPS (2020.3.3) and now I see the icons again: ![image](https://user-images.githubusercontent.com/1850180/117881175-38f92000-b2a9-11eb-913f-c275625835b1.png) Do...

Icons not shown in MPS 2020.3

I am currently using Windows and have installed MPS via the JetBrains toolbox, so maybe this only happens on some platforms or MPS releases. Could you try to open the...