How to webstorm change the theme and change the theme font scaling problems

NoSuchKey

Guess you like

Origin www.cnblogs.com/byx1024/p/12113836.html