Notice
Recent Posts
Recent Comments
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | |||||
3 | 4 | 5 | 6 | 7 | 8 | 9 |
10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 | 18 | 19 | 20 | 21 | 22 | 23 |
24 | 25 | 26 | 27 | 28 | 29 | 30 |
Tags
- 한글
- H2O
- 프래그먼트
- 개발자
- error
- 개발
- caddy
- C lanuage
- java
- C
- 컴퓨터과학총론
- android
- 번역
- 자바
- kakao
- 안드로이드
- javascript
- it
- ubuntu
- Portfolio
- 해석
- unity
- 구글
- techEmpower
- php
- mariadb
- MySQL
- server
- centOS7
- NGINX
Archives
- Today
- Total
개발모음집
webstorm terminal console font size 본문
어느날 갑자기 터미널 폰트 사이즈만 커졌다.
그래서 preference - console font size를 바꿨으나 바뀌지 않았다.
Preference창을 켜고 Zoom이라 검색한 후 "Change font size (Zoom) with Ctrl+MouseWheel is enabled." 체크해주니 다시 원래의 사이즈로 돌아왔다.
Change font size with MouseWheel
(called "zooming in the editor")
To enable changing font size in the editor
- Open the Settings/Preferences dialog, expand the Editor node, and click General.
- Make sure that the setting Change font size (Zoom) with Ctrl+MouseWheel is enabled.
출처 : https://www.jetbrains.com/help/idea/2017.1/zooming-in-the-editor.html
'client' 카테고리의 다른 글
TypeError: this.cliEngine is not a constructor (0) | 2019.10.30 |
---|---|
JSON 구조를 객체쓰지 않고 만들때 실수한 점 (0) | 2019.10.14 |
javasrcript crawler, puppeteer RR_TUNNEL_CONNECTION_FAILED (0) | 2019.06.14 |
sequelize deprecated String based operators are now deprecated. (0) | 2019.03.16 |
puppeteer error : text is not iterable (0) | 2019.03.08 |