ได้เลย ขอบคุณความคิดเห็นและโดยเฉพาะอย่างยิ่ง Rinzwind ฉันหาทางออกได้:
ปรากฎว่าฉันใช้ไปแล้ว ตารางพื้นที่ทำงาน. แม้ว่าจะไม่ชัดเจนเกี่ยวกับวิธีการทำ แต่ส่วนขยายนี้ให้การสนับสนุนสำหรับป้ายกำกับที่กำหนดเอง:
- ติดตั้งและเปิดใช้งานส่วนขยาย
- กำหนดค่าส่วนขยาย - คุณสามารถทำได้โดยตรงบนเว็บไซต์ (ฉันไม่รู้) ตรวจสอบให้แน่ใจว่าได้เปิดป้ายกำกับพื้นที่ทำงานแล้ว
หากคุณเห็นตัวสลับตอนนี้ จะเป็นหมายเลขแต่ละพื้นที่ทำงาน ("พื้นที่ทำงาน 1, 2, 3 ฯลฯ") เว้นแต่ว่าฉันจะจำตัวเลขได้ นั่นไม่มีประโยชน์เลยจริงๆ แต่มีวิธีเปลี่ยนฉลาก
เปิดคอนโซล พิมพ์ dconf-บรรณาธิการ
. นำทางไปยัง /org/gnome/desktop/wm/preferences/workspace-names
. ตั้งค่า "ใช้ค่าเริ่มต้น" เป็นปิดและเพิ่มอาร์เรย์ของป้ายกำกับ
ป้ายกำกับจะเรียงจากซ้ายไปขวา บนลงล่าง ถ้าคุณมีกริดขนาด 3x3 และต้องการติดป้ายพื้นที่ทำงานด้านล่างซ้าย แสดงว่าเป็นดัชนีลำดับที่ 7 ในอาร์เรย์ หากคุณต้องการลบชื่อเริ่มต้น "Workspace X" สำหรับพื้นที่ทำงานเฉพาะ ให้ใช้ ' '
(ช่องว่าง); สตริงว่าง ''
จะไม่ทำงาน
แค่นั้นแหละ! ทำงานได้อย่างมีเสน่ห์ อย่างน้อยถ้าคุณใช้ workspace-grid ฉันไม่แน่ใจว่า Gnome เวอร์ชันหลังๆ รองรับอย่างเหมาะสมหรือไม่ เนื่องจากความคิดเห็น 1 ดาวบ่งบอกว่ามีปัญหา
สามารถดูเอกสารเพิ่มเติมได้ที่ https://github.com/zakkak/workspace-grid
โปรดทราบว่าส่วนขยายนี้ไม่ได้อยู่ในระหว่างการพัฒนาอีกต่อไป