วิธีการเปลี่ยนขนาดตัวอักษรในแผง gnome-shell

ฉันลองใช้ gnome-shell ใน Ubuntu โดยใช้gnome-shell --replaceคำสั่ง มันใช้งานได้ดี แต่ฉันคิดว่าขนาดตัวอักษรในแผงควบคุมเชลล์ใหญ่เกินไป

เป็นไปได้ที่จะกำหนดขนาดตัวอักษรในแผง gnome-shell หรือไม่?

กรุณาเปลี่ยน/usr/share/gnome-shell/theme/gnome-shell.cssตามความเหมาะสม ตัวอย่างเช่นหากคุณต้องการเปลี่ยนแบบอักษรของพาเนลคุณสามารถเพิ่มfont-family: "FontName"เข้าไป.panel-buttonได้ และคุณสามารถปรับแต่งแบบอักษรของแดชบอร์ดได้อีกด้วย

คุณสามารถชำระเงินโพสต์บล็อกของฉันเกี่ยวกับการปรับแต่ง gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

พบสิ่งนี้:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

ฉันได้เล่นกับการตั้งค่าบางอย่างในไฟล์ gnome-shell.css และผ่านการทดลองและข้อผิดพลาดเล็กน้อยจัดการเพื่อเพิ่มขนาดของข้อความใต้ไอคอนแอปพลิเคชัน ที่บรรทัด 638 ฉันเพิ่มขนาดตัวอักษรจาก 7.5pt เป็น 11.5pt ซึ่งทำให้อ่านง่ายขึ้น รหัส:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

ฉันตัดสินใจลดขนาดของไอคอนด้วย

.icon-grid .overview-icon {
    icon-size: 96px;
}

ใช่มันเป็นไปได้ ผมมีปัญหาเดียวกัน :)

1. /usr/share/gnome-shell/js/ui/panel.jsคุณต้องแก้ไขไฟล์
2. ค้นหาบรรทัดconst DEFAULT_FONTและเปลี่ยนขนาดตัวอักษร (หรือแม้แต่ชื่อ)
3. หลังจากนี้คุณจะต้องเริ่มต้นใหม่ gnome-เปลือก: กดAlt+ F2พิมพ์และกดrEnter

BTW: คุณสามารถปรับแต่งเกือบทุกอย่างได้โดยแก้ไขไฟล์ JavaScript ที่อยู่ในuiไดเรกทอรี

โพสต์แนะนำให้แก้ไข/usr/share/gnome-shell/theme/gnome-shell.cssถูกต้อง; อย่างไรก็ตามควรสังเกตว่าหากคุณใช้ธีม gnome-shell สำรอง (เช่นคุณใช้ Linux Mint) อาจมีไฟล์ที่แก้ไขได้เพิ่มเติม

ตัวอย่างเช่นชุดรูปแบบ 'Mint-Z' ของ Mint12 มีไฟล์. css กำหนดค่า/usr/share/themes/Mint-Zได้

นอกจากนี้ส่วนขยาย gnome-เปลือกอาจมีไฟล์ .css ของตัวเองที่กำหนดอยู่ในหรือ/usr/share/gnome-shell/extensions/{extension id}/ $HOME/.local/share/gnome-shell/extensions/{extension id}/ฉันไม่แน่ใจว่าหากการตั้งค่าเหล่านี้สามารถแทนที่ค่าเริ่มต้นของธีม

แก้ไข: @Guilherme ตอบคำถามของคุณจริง

FYI ในระบบของฉัน ( gnome-shell 3.2.1-0ubuntu1) ที่เลือก CSS ที่เหมาะสมอยู่ใน/usr/share/gnome-shell/theme/gnome-shell.cssระดับเส้น 720 7.5ptและมีการตั้งค่า การตั้งค่าที่แท้จริงสำหรับระบบ Mint12 ของฉัน แต่เป็นใน/usr/share/themes/Mint-Z/gnome-shell.css, @line 880 8ptและมีการตั้งค่า แก้ไขค่านี้จากนั้นโหลดธีมของคุณใหม่โดยใช้คำสั่ง 'rt' ที่ALT+F2พรอมต์

sudo gedit /usr/share/vte/termcap/xterm

แก้ไขบรรทัดนี้:

:co#80:it#8:li#24:\

ที่มา:

http://ubuntuforums.org/showthread.php?t=15471