Gnome 3을 실행하는 Linux Mint 12에서 데스크탑 인터페이스를 개인화하려고 합니다. 방금 하단 패널을 비활성화하고 상단 패널의 글꼴을 변경했습니다. 상단 패널의 아이콘 크기와 패딩을 어떻게 변경하나요?
PANEL_ICON_SIZE에서 설정을 수정하면 /usr/share/gnome-shell/js/ui/panel.js시스템이 정지되고 상단 패널이 사라집니다.
Linux Mint 12의 Gnome 3 상단 패널에서 아이콘 크기와 패딩을 어떻게 변경합니까?