>
home
>
Commands
decrease_face_size
September 8th 2024
Decrease the size of the face used by the current buffer.