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 | 31 |
Tags
- 구글
- Portfolio
- H2O
- NGINX
- C
- centOS7
- mariadb
- server
- 번역
- ubuntu
- javascript
- 안드로이드
- kakao
- caddy
- 해석
- error
- techEmpower
- unity
- java
- 개발
- 자바
- it
- 컴퓨터과학총론
- MySQL
- 한글
- php
- 프래그먼트
- android
- C lanuage
- 개발자
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 |