เพิ่มขนาดตัวอักษรในโปรแกรมแก้ไขเป็นกลุ่ม

ฉันเขียนโปรแกรม C เป็นกลุ่ม ขนาดตัวอักษรเล็กมาก

มีตัวเลือกในการเพิ่มขนาดตัวอักษรเป็นกลุ่มหรือไม่?

ตามด้วยhttp://vim.wikia.com/wiki/Change_font :

Console Vim ใช้ฟอนต์ที่คอนโซล / เทอร์มินัลใช้อยู่ [ ... ]

เมื่อทำงานภายในเทอร์มินัลส่วนใหญ่สามารถเปลี่ยนสีได้ (ภายในขอบเขตของสีที่เทอร์มินัลรองรับ: บางครั้งเป็นตัวหนาและสีดำและขาวเป็นตัวหนา 8 สีบ่อย ๆ รวมทั้งตัวหนา / unbold เบื้องหน้าเท่านั้น 8 background และ 16 foreground]; ใน X11 บางเทอร์มินัลรองรับมากถึง 256 background และ foreground colours "การเปลี่ยนสี" มักจะรวมถึงการใช้ reverse-video) และหากเทอร์มินัลรองรับพวกมัน ผู้ที่อาจสนับสนุนเฉพาะกับแบบอักษรบางอย่าง) ใช้ตัวหนาขีดเส้นใต้และ / หรือตัวเอียง

ดังที่กล่าวไว้หากคุณต้องการเปลี่ยนขนาดตัวอักษรในโปรแกรมแก้ไข Vim คุณต้องเปลี่ยนขนาดตัวอักษรของเครื่องเทอร์มินัลของคุณ ในการทำเช่นนี้ใน gnome-terminal ไปที่Edit → Preferences Profile :

ยิ่งไปกว่านั้นคุณสามารถบันทึกการตั้งค่าเหล่านี้ลงในโปรไฟล์เทอร์มินัลใหม่และเมื่อคุณเริ่มใช้ Vim ให้ใช้โปรไฟล์นั้น

นี่อาจไม่ใช่วิธีแก้ปัญหาในอุดมคติ แต่ใช้ได้สำหรับฉัน

เพียงแค่ซูมใน terminal ของคุณกับCtrl+ +Shift+

ย่อด้วยCtrl+-

Ctrl+ เลื่อนเมาส์ขึ้น
Ctrl+ เลื่อนเมาส์ลง

วิธีนี้ใช้ได้กับเทอร์มินัลส่วนใหญ่

ฉันใช้ Vim ใน Xfce4 Terminal ฉันกำหนดสคริปต์นี้ให้กับแป้นพิมพ์ลัดctrl alt +และctrl alt -การใช้งานscript-name --inและscript-name --outตามลำดับ

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

ในฐานะที่เป็น @Costa กล่าวในความคิดเห็นที่คุณสามารถ

1. เรียกใช้:set guifontเพื่อรับแบบอักษรปัจจุบัน
2. สำหรับฉันนั่นคือ Hack 10
3. จากนั้นตั้งค่าแบบอักษรด้วยขนาดที่ใหญ่ขึ้น:set guifont=Hack\ 12(หมายเหตุ\เพื่อหลีกเลี่ยงช่องว่าง)