Aumentar o tamanho da fonte no editor Vim

16

Eu escrevo programas em C no Vim; o tamanho da fonte é muito pequeno.

Existe alguma opção para aumentar o tamanho da fonte no Vim?

Tushar Kathuria
fonte
1
Você poderia tentar o zoom em seu terminal com <Ctrl-Shift - +>
bnjmn
você está usando vim ou gvim?
Jesse
1
Tem algo a ver com isso :set guifont=.
Costa

Respostas:

9

De acordo com http://vim.wikia.com/wiki/Change_font :

O Console Vim usa qualquer fonte que seu console / terminal esteja usando. [...]

Ao rodar dentro de um terminal, o Vim pode, no máximo, alterar as cores (dentro dos limites das cores suportadas pelo terminal: às vezes em negrito e não dobrado em preto e branco, geralmente 8 cores mais o primeiro plano em negrito / não dobrado [ou visto de outra maneira, 8 background e 16 foreground]; no X11, alguns terminais suportam até 256 cores de plano de fundo e de primeiro plano; "alterar cores" geralmente também inclui o uso de vídeo reverso) e, se o terminal os suportar (nem todos os terminais suportam, e até aqueles que o suportam apenas com determinadas fontes), use negrito, sublinhado e / ou itálico.

Dito isto, se você quiser alterar o tamanho da fonte no editor Vim, precisará alterar o tamanho da fonte do seu terminal. Para fazer isso no gnome-terminal, vá em EditarPreferências do perfil :

Preferências do perfil

Além disso, você pode salvar essas preferências em um novo perfil de terminal e, quando começar a usar o Vim, use esse perfil.

Radu Rădeanu
fonte
18

Esta pode não ser uma solução ideal, mas funciona para mim.

Basta ampliar o seu terminal com Ctrl+ Shift+ +.

Reduzir com Ctrl+-

bnjmn
fonte
1
a +/- no teclado numérico, não parecem funcionar
Ahmed Hamdy
isso funciona para mim.
Stupidnetizen
1

Ctrl+ rolagem do mouse para cima
Ctrl+ rolagem do mouse para baixo.

Isso funciona para a maioria dos terminais.

Q. Qiao
fonte
1

Eu uso o Vim no terminal Xfce4. Atribuí esse script aos atalhos do teclado ctrl alt +e ctrl alt -quais são os usos script-name --ine, script-name --outrespectivamente.

#!/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"
jbrock
fonte
0

Como @Costa disse no comentário, você pode

  1. executar :set guifontpara obter a fonte atual
  2. pra mim isso é Hack 10
  3. em seguida, defina a fonte com um tamanho maior :set guifont=Hack\ 12(observe \para escapar do espaço)
Tom Saleeba
fonte