> home > Commands

increase_face_size

September 8th 2024
Increase the size of the face used by the current buffer.