Làm cách nào để tạo các nút trên thanh công cụ để tăng và giảm cỡ chữ?

Nhiều hệ thống cung cấp các nút + và - zoom. Ai đó có thể vui lòng chứng minh làm thế nào hai nút như vậy có thể được mô phỏng với gvim?

Điều này có nghĩa là nhấp vào nút + sẽ tăng kích thước phông chữ thêm một bước. Nút - không làm điều ngược lại.

gvim font

— Yossi Gil
nguồn

Bắt đầu với :h toolbar-iconvà:h guifont

— VanLaser 14/2/2016

... và kết hợp với vim.wikia.com/wiki/Change_font_size_quickly (Tôi lười biếng, ... Tôi không cần nó: D)

— VanLaser 14/2/2016

Cảm ơn! Tôi đã thử, ít nhất là với liên kết vim.wikia. Các lệnh được xác định dường như bị bỏ qua trong gvim của tôi, vì vậy tôi vẫn đang làm việc với nó.

— Yossi Gil

Tôi nghĩ patternđịnh nghĩa này có thêm một không gian sẽ không hoạt động trên Windows hoặc trong các hệ điều hành guifonttrông giống như FontName:h12thay vì FontName\ 12. Và tất nhiên hãy thử mà không cần has("gui_gtk2")kiểm tra (ít nhất là đối với Windows).

— VanLaser

Không chắc chắn những gì thực hiện được điều này. Tôi là người dùng Ubuntu.

— Yossi Gil

Tôi nghĩ rằng một cái gì đó dọc theo các dòng sau nên hoạt động:

amenu ToolBar.Builtin#31   :let &guifont=substitute(&guifont, '\(\d\+\)', '\=submatch(1)+1', '')<cr>
amenu ToolBar.Builtin#32   :let &guifont=substitute(&guifont, '\(\d\+\)', '\=submatch(1)-1', '')<cr>

Bây giờ, để bao gồm các biểu tượng đẹp, bạn chỉ cần thêm đối số biểu tượng.

— Christian Brabandt
nguồn

Điều này đã không làm việc cho tôi. Tôi có các biểu tượng mờ, nhưng nhấp vào chúng làm cho màn hình làm mới mà không làm gì cả. Tôi vẫn phải thay đổi kích thước phông chữ bằng tay.

— Yossi Gil

Hãy thử :echo substitute(&guifont, '\(\d\+\)', '\=submatch(1)-1', '')những gì mang lại cho bạn

— Christian Brabandt 17/2/2016

Chẳng có gì xảy ra. Không chắc chắn thậm chí còn có một làm mới.

— Yossi Gil

Bạn sẽ thấy một đầu ra. Guifont của bạn là gì?

— Christian Brabandt 17/2/2016

Điều đó có vẻ đúng. Và nếu bạn chạy lệnh này: :let &guifont=substitute(&guifont, '\(\d\+\)', '\=submatch(1)-1', '')Điều đó có làm giảm kích thước phông chữ của bạn không?

— Christian Brabandt 17/2/2016