zoukankan      html  css  js  c++  java
  • 怎么为WebStorm更换主题 修改字体样式

    开发Node.js程序,当选首选的是webstorm IDE工具,这个不用解释。但是可能很多习惯其它IDE的同学在使用Webstorm的时候,后感觉webstorm的主题,并不怎么适合自己的审美。就像本人习惯了用微软Visual Studio后,在windows上面使用webstorm就是各种不爽。另外加上WIN8下面Webstorm和各种输入法不和谐,更是觉得各种蛋疼。

    这篇文章主要用于帮助大家解决怎么为webstorm换theme。

    首先,到选择一个自己喜欢的皮肤,Webstorm皮肤网址:

    http://phpstorm-themes.com/

    然后,选中你喜欢的皮肤,现在theme xml文件, 这里要鼠标右键另存为:

    将此xml文件下载后,根据不同的操作系统,将其copy到不同的webstorm安装目录中。

    1.apple系统

    复制下载的xml theme文件,使用shift+command+g键进入:

    ~/Library/Preferences/WebIDE10/colors/ Starting

    如果为版本4,则为以下目录:

    ~/Library/Preferences/WebIde40/colors/

    将xml文件复制到此文件夹。

    2.windows系统

    将xml theme文件复制到

    C:/Users/USERNAME/.WebIde10/config/colors文件夹

    3.linux

    将xml theme文件复制到

    ~/.WebIde50/config/colors/

    最后,重启你的webstorm,选择到以下菜单:

    File > Settings > Editor > Colors & Fonts ,选择刚才xml文件名的Cheme name,点击apply即可,如下图所示。

  • 相关阅读:
    【Loj146】DFS序3-树链剖分
    【BZOJ3083】遥远的国度- 树剖-换根
    树链剖分-树剖换根
    c++ 随机生成树
    【HAOI2015】树上操作-树链剖分
    centos修改dns
    HttpClient
    aiax跨域问题
    伪静态
    springboot父子项目
  • 原文地址:https://www.cnblogs.com/onlyonely/p/3988347.html
Copyright © 2011-2022 走看看