How to change the font style for Webstorm change theme
To develop the node. JS program, the preferred choice is the Webstorm IDE tool, which is not explained. But there may be many habits of other IDE's classmates when using Webstorm, after feeling Webstorm theme, and not suitable for their own aesthetic. Just as I used to use Microsoft Visual Studio, using Webstorm on Windows is a variety of unpleasant. Plus WIN8 below webstorm and a variety of input method is not harmonious, but also feel a variety of egg pain.
This article is mainly used to help you solve how to change theme for Webstorm.
First, to select a skin of your own liking, Webstorm skin URL:
http://phpstorm-themes.com/
Then, select your favorite skin, now theme XML file, here to save the right mouse button as:
After you download the XML file, copy it to a different Webstorm installation directory, depending on the operating system.
1.apple system
Copy the downloaded XML theme file and use the Shift+command+g key to enter:
~/library/preferences/webide10/colors/starting
If it is version 4, the following directory:
~/library/preferences/webide40/colors/
Copy the XML file to this folder.
2.windows system
Copy the XML theme file to
c:/users/username/. Webide10/config/colors folder
3.linux
Copy the XML theme file to
~/. webide50/config/colors/
Finally, restart your webstorm and select to the following menu:
File > Settings > Editor > Colors & Fonts, select the Cheme name of the XML file name, click Apply, as shown in.
How to change the font style for Webstorm change theme