gnome-shell에서 제목 표시줄의 높이를 변경하는 방법이 있습니까?
현재는 내 취향에 비해 너무 크므로 더 작게 만들고 싶습니다.
일부 주제는 정확하지만 정확히 어디를 봐야 할지 모르겠습니다. 나는 그것이 CSS/js와 관련이 있다고 가정할 수 있습니다.
내 현재 GNOME Shell
버전은 3.16.4
우분투입니다.
이것은 도움이 되지 않습니다:그놈 쉘 상단 표시줄의 크기를 조정하는 방법. 나는 이것을 기대하지 않았지만 그것이 나에게 방향을 제시할 수도 있다...
답변1
"모든 곳"을 검색한 후아치리눅스 포럼 포스트날짜 2015년 4월:
css
다음 내용을 넣어야 합니다 .~/.config/gtk-3.0/gtk.css
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
충전재를 바꿨더니 1px
이제 정말 좋아요!
참고: 내 직감이 맞았습니다! 그것예CSS 관련