web-dev-qa-db-fra.com

Augmenter la taille de la police dans l'éditeur Vim

J'écris des programmes C dans Vim; la taille de la police est très petite.

Existe-t-il une option pour augmenter la taille de la police dans Vim?

fontsvim
14
Tushar Kathuria

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

Console Vim utilise la police utilisée par la console/le terminal. [...]

Lorsqu’il tourne dans un terminal, Vim peut tout au plus changer les couleurs (dans la limite des couleurs supportées par le terminal: parfois en noir et blanc gras et non gras, souvent 8 couleurs plus le premier plan gras/non gras [ou vu sous un autre angle, 8 arrière-plans et 16 au premier plan]; sur X11, certains terminaux prennent en charge jusqu’à 256 couleurs d’arrière-plan et d’avant-plan; le "changement de couleur" comprend également l’utilisation de la vidéo inversée) et, si le terminal les prend en charge (tous les terminaux ne le font pas, ceux qui le font peuvent le supporter uniquement avec certaines polices), utilisez gras, souligné et/ou italique.

Cela dit, si vous souhaitez modifier la taille de la police dans l'éditeur Vim, vous devez modifier la taille de la police de votre terminal. Pour faire cela dans gnome-terminal, allez à Éditer → Préférences de profil :

Profile Preferences

De plus, vous pouvez enregistrer ces préférences dans un nouveau profil de terminal et lorsque vous commencez à utiliser Vim, utilisez ce profil.

8
Radu Rădeanu

Ce n'est peut-être pas une solution idéale, mais cela fonctionne pour moi.

Il suffit de zoomer sur votre terminal avec Ctrl+Shift++.

Effectuer un zoom arrière avec Ctrl+-

17
bnjmn

Ctrl + faire défiler la souris
Ctrl + faire défiler la souris.

Cela fonctionne pour la plupart des terminaux.

1
Q. Qiao

J'utilise Vim dans Xfce4 Terminal. J'ai assigné ce script aux raccourcis clavier ctrlalt+ et ctrlalt- qui sont l'utilisation script-name --in et script-name --out respectivement.

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

Comme @Costa a dit dans le commentaire, vous pouvez

  1. lancez :set guifont pour obtenir la police actuelle
  2. pour moi, c'est Hack 10
  3. puis définissez la police avec une taille plus grande :set guifont=Hack\ 12 (notez le \ pour sortir de l'espace)
0
Tom Saleeba