menu
書いてる野郎
orebike@gmail.com
Linux 版
edit → preference → Editor → Font-Family を Ricty
デフォルトはコントラストがやや弱いので強めにしたい。 調べると monokai というテーマが人気のようなのでそれを入れる。
edit → preference → install
検索窓の右を theme に切り替えて monokai を検索して install
Themes に切り替えて syntax theme に monokai が追加されているので、選ぶ
全体を縮小表示してくれるやつ。
package から検索してドン
Eclipse とかでよくあるやつ。 highlight-selected というパッケージらしいので入れる。
これを minimap にも反映するやつがあるっぽいのでそれも入れる minimap-highlight-selected
このままだと解りにくいので真っ赤にする
.minimap .highlight-selected { background-color: #F00; }
Edit → Config
の設定画面で
こういう所に scrollSensitivity: 120
を書き加える。この値がデカイほど動きが速くなる。
"*": core: themes: [ "one-dark-ui" "monokai" ] editor: fontFamily: "Ricty" fontSize: 18 lineHeight: 1.2 scrollSensitivity: 120
右クリックから開くと起動できる。理由不明。