Filip Zafiroski comments

Repositories
Issues
Comments

Results 3 comments of


                                            Filip Zafiroski

120 DPI

Will this ever be fixed? On 4k monitors this extension is not usable. Btw, great extension!! :D

Changing theme in one editor should change all editors

The problem is that I can't dynamically change theme at all, because if I change to one editor, the other one gets messed up.

Changing theme in one editor should change all editors

It is possible and that's the only way to do it in the current state, but that could add some unnecessary code. What I wanted to say is that changing...