Được rồi, nhờ các nhận xét và đặc biệt là Rinzwind, tôi đã tìm ra giải pháp:
Hóa ra, tôi đã sử dụng Lưới không gian làm việc. Mặc dù không rõ ràng về cách thực hiện nhưng tiện ích mở rộng cung cấp hỗ trợ cho các nhãn tùy chỉnh:
- Cài đặt và kích hoạt tiện ích mở rộng.
- Định cấu hình tiện ích mở rộng - bạn có thể thực hiện việc này trực tiếp trên trang web (tôi không nhận ra điều đó). Đảm bảo BẬT nhãn không gian làm việc.
Nếu bây giờ bạn thấy trình chuyển đổi, nó sẽ đánh số từng Không gian làm việc ("Không gian làm việc 1, 2, 3, v.v."). Trừ khi tôi ghi nhớ các con số, điều đó không thực sự hữu ích chút nào. Nhưng có một cách để thay đổi nhãn.
Mở bảng điều khiển, gõ trình soạn thảo dconf. Hướng đến /org/gnome/desktop/wm/preferences/workspace-names. Đặt "Sử dụng giá trị mặc định" thành TẮT và thêm một mảng nhãn.
Nhãn đi từ trái sang phải, trên xuống dưới. Nếu bạn có lưới 3x3 và muốn gắn nhãn cho không gian làm việc dưới cùng bên trái, thì đó là chỉ mục thứ 7 trong mảng. Nếu bạn chỉ muốn xóa tên mặc định "Workspace X" cho một không gian làm việc cụ thể, chỉ cần sử dụng ' ' (khoảng trống); một chuỗi rỗng '' sẽ không hoạt động.
Đó là nó! Hoạt động như một bùa mê, ít nhất là nếu bạn sử dụng lưới không gian làm việc. Tôi không chắc liệu nó có được hỗ trợ đúng trên các phiên bản Gnome sau này hay không, vì các nhận xét 1 sao ngụ ý rằng có vấn đề.
Tài liệu bổ sung có thể được tìm thấy trên https://github.com/zakkak/workspace-grid
Xin lưu ý rằng tiện ích mở rộng này không còn được phát triển nữa.
