gnome-shell 제목 표시줄 높이를 변경하는 방법

gnome-shell 제목 표시줄 높이를 변경하는 방법

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 관련

관련 정보