Pertanyaan Tingkatkan ukuran font di editor Vim


Saya menulis program C di Vim; ukuran font di dalamnya sangat kecil.

Apakah ada opsi untuk meningkatkan ukuran font di Vim?


13
2017-10-21 15:18


asal


Anda dapat mencoba memperbesar terminal Anda dengan <Ctrl-Shift - +> - bnjmn
apakah kamu menggunakan vim atau gvim? - Jesse
Ada hubungannya dengan itu :set guifont=. - Costa


Jawaban:


Menurut http://vim.wikia.com/wiki/Change_font:

Konsol Vim menggunakan font apa pun yang digunakan konsol / terminal Anda. [...]

Ketika berjalan di dalam terminal, Vim dapat, paling banyak, mengubah warna (dalam batas warna yang didukung oleh terminal: kadang-kadang tebal dan hitam tak beraturan, seringkali 8 warna ditambah tebal / tidak tebal hanya latar depan [atau terlihat dengan cara lain, 8 latar belakang dan 16 foreground]; pada X11 beberapa terminal mendukung hingga 256 latar belakang dan warna latar depan; "mengubah warna" biasanya juga termasuk penggunaan reverse-video), dan, jika terminal mendukung mereka (tidak semua terminal lakukan, dan bahkan yang mungkin mendukungnya hanya dengan font tertentu), gunakan tebal, garis bawah, dan / atau cetak miring.

Itu dikatakan, jika Anda ingin mengubah ukuran font di editor Vim, Anda harus mengubah ukuran font terminal Anda. Untuk melakukan ini di gnome-terminal pergi ke Edit → Preferensi Profil:

Profile Preferences

Selain itu, Anda dapat menyimpan preferensi ini di profil terminal baru dan ketika Anda mulai menggunakan Vim, gunakan profil itu.


6
2017-10-21 16:54





Ini mungkin bukan solusi yang ideal tetapi bekerja untuk saya.

Cukup perbesar terminal Anda Ctrl+Bergeser++.

Perkecil dengan Ctrl+-


14
2017-10-21 15:48



+/- pada numpad, sepertinya tidak berfungsi - Ahmed Hamdy


Ctrl + mouse gulir ke atas
Ctrl + gulir mouse ke bawah.

Ini berfungsi untuk sebagian besar terminal.


1
2018-03-01 19:05





Saya menggunakan Vim di Xfce4 Terminal. Saya menetapkan skrip ini ke pintasan keyboard ctrl  alt  + dan ctrl  alt  - yang merupakan penggunaan script-name --in dan script-name --out masing-masing.

#!/bin/bash

# Check if Xfce4 Terminal is running. If it is not, exit.
status=$(pgrep xfce4-terminal)    
if [ -z "$status" ]; then
    notify-send "No Xfce4 Terminal session is open."
    exit 1
fi

# 1. Get the full line. 2. Get the entire line minus font size. 3. Get only font size. 
line=$(grep "FontName" ~/.config/xfce4/terminal/terminalrc)
font_name=$(echo "$line" | sed s/'\w*$'//)
font_size=$(echo "$line" | grep -oE '[^ ]+$')

# Increase or decrease font size. You might want to change this to increase and decrease by two.
if [ "$1" = "--in" ]; then
    new_size=$((font_size + 1))
elif [ "$1" = "--out" ]; then
    new_size=$((font_size - 1))
else
    notify-send "Argument options: --in --out"
    exit 1
fi

# Replace the line with the new font size.
action='s/'$font_name$font_size'/'$font_name$new_size'/'
sed -i "$action" ~/.config/xfce4/terminal/terminalrc

# Show only one notification at a time.
notify_status=$(pgrep xfce4-notifyd)
if [ -n "$notify_status" ]; then
    pkill xfce4-notifyd
fi    

# Show the new current font being used.
notify-send -t 200 "$new_size pt font"

1
2018-03-01 20:34





Seperti kata @Costa dalam komentar, Anda bisa

  1. menjalankan :set guifont untuk mendapatkan font saat ini
  2. bagi saya, itu Hack 10
  3. kemudian atur font dengan ukuran yang lebih besar :set guifont=Hack\ 12 (perhatikan \ untuk melarikan diri dari ruang)

0
2017-08-27 07:08