Home System Tutorial LINUX I'm running gVim7.3.1 on a GNU/machine

I'm running gVim7.3.1 on a GNU/machine

Feb 09, 2024 am 11:45 AM
gnu/machine

I'm running gVim7.3 on a GNU/machine. I would like to know if there is a way to manually change the font according to the size of the window. I am relatively new to VimLinux system modification command line font size, so I am new to Vim It's not familiar.

My situation is this: I use DejaVuSansMono12 as my default font, but sometimes I want to switch to Terminus9linux system to modify the command line font size, when I want to shrink the Vim window to see on the screen of content as I type. (You know, for those of us with small laptop screens who don’t want to switch between workspaces…!)

linux系统修改命令行字体大小_linux命令行字体调大_linux字体变大命令

So I want to know if I shrink the commands in the .vimrc file, if I shrink the default window size to small enough that Vim will manually adjust the font, will these behaviors happen manually.

linux命令行字体调大_linux字体变大命令_linux系统修改命令行字体大小

Any comments?

linux字体变大命令_linux系统修改命令行字体大小_linux命令行字体调大

When Vim's window size changes, Vim will trigger a VimResized storm. You can compile an autocmd that adapts to the font ('guifont'). This is an autocmd that only considers "columns" (not "rows" ”) and have a hardcoded font name:

linux命令行字体调大_linux系统修改命令行字体大小_linux字体变大命令

function! FontChangeOnResize()
if &columns > 80
set guifont=Lucida_Console:h14
elseif &columns > 60
set guifont=Lucida_Console:h12
elseif &columns > 40
set guifont=Lucida_Console:h10
elseif &columns > 20
set guifont=Lucida_Console:h8
else
set guifont=Lucida_Console:h6
endif
endfunction
autocmd VimResized * call FontChangeOnResize()
Copy after login

The above is the detailed content of I'm running gVim7.3.1 on a GNU/machine. For more information, please follow other related articles on the PHP Chinese website!

Statement of this Website
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

AI Hentai Generator

AI Hentai Generator

Generate AI Hentai for free.

Hot Article

R.E.P.O. Energy Crystals Explained and What They Do (Yellow Crystal)
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Best Graphic Settings
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. How to Fix Audio if You Can't Hear Anyone
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: How To Unlock Everything In MyRise
1 months ago By 尊渡假赌尊渡假赌尊渡假赌

Hot Tools

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor

SublimeText3 Chinese version

SublimeText3 Chinese version

Chinese version, very easy to use

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

Dreamweaver CS6

Dreamweaver CS6

Visual web development tools

SublimeText3 Mac version

SublimeText3 Mac version

God-level code editing software (SublimeText3)

Mastering Text Manipulation With the Sed Command Mastering Text Manipulation With the Sed Command Mar 16, 2025 am 09:48 AM

The Linux command line interface provides a wealth of text processing tools, one of the most powerful tools is the sed command. sed is the abbreviation of Stream EDitor, a multi-functional tool that allows complex processing of text files and streams. What is Sed? sed is a non-interactive text editor that operates on pipeline inputs or text files. By providing directives, you can let it modify and process text in a file or stream. The most common use cases of sed include selecting text, replacing text, modifying original files, adding lines to text, or removing lines from text. It can be used from the command line in Bash and other command line shells. Sed command syntax sed

How To Count Files And Directories In Linux: A Beginner's Guide How To Count Files And Directories In Linux: A Beginner's Guide Mar 19, 2025 am 10:48 AM

Efficiently Counting Files and Folders in Linux: A Comprehensive Guide Knowing how to quickly count files and directories in Linux is crucial for system administrators and anyone managing large datasets. This guide demonstrates using simple command-l

How To Add A User To Multiple Groups In Linux How To Add A User To Multiple Groups In Linux Mar 18, 2025 am 11:44 AM

Efficiently managing user accounts and group memberships is crucial for Linux/Unix system administration. This ensures proper resource and data access control. This tutorial details how to add a user to multiple groups in Linux and Unix systems. We

How To List Or Check All Installed Linux Kernels From Commandline How To List Or Check All Installed Linux Kernels From Commandline Mar 23, 2025 am 10:43 AM

Linux Kernel is the core component of a GNU/Linux operating system. Developed by Linus Torvalds in 1991, it is a free, open-source, monolithic, modular, and multitasking Unix-like kernel. In Linux, it is possible to install multiple kernels on a sing

How To Type Indian Rupee Symbol In Ubuntu Linux How To Type Indian Rupee Symbol In Ubuntu Linux Mar 22, 2025 am 10:39 AM

This brief guide explains how to type Indian Rupee symbol in Linux operating systems. The other day, I wanted to type "Indian Rupee Symbol (₹)" in a word document. My keyboard has a rupee symbol on it, but I don't know how to type it. After

What is the Linux best used for? What is the Linux best used for? Apr 03, 2025 am 12:11 AM

Linux is best used as server management, embedded systems and desktop environments. 1) In server management, Linux is used to host websites, databases, and applications, providing stability and reliability. 2) In embedded systems, Linux is widely used in smart home and automotive electronic systems because of its flexibility and stability. 3) In the desktop environment, Linux provides rich applications and efficient performance.

Linux Kernel 6.14 RC6 Released Linux Kernel 6.14 RC6 Released Mar 24, 2025 am 10:21 AM

Linus Torvalds has released Linux Kernel 6.14 Release Candidate 6 (RC6), reporting no significant issues and keeping the release on track. The most notable change in this update addresses an AMD microcode signing issue, while the rest of the updates

The 8 Best SSH Clients for Linux The 8 Best SSH Clients for Linux Mar 15, 2025 am 11:06 AM

Recommended 8 best SSH clients for Linux system SSH (Secure Shell Protocol) is an encrypted network protocol used to securely run network services on an unsecure network. It is an important part of modern server management and provides secure remote access to the system. SSH clients (applications that utilize the SSH protocol) are an indispensable tool for system administrators, developers and IT professionals. Remote server management is common in the Linux world, and choosing the right SSH client is crucial. This article will discuss 8 best SSH clients for Linux. Selection criteria When choosing the best SSH client for Linux, the following factors must be considered: Performance: Speed ​​and efficiency of SSH clients

See all articles