> home > Commands

increase_face_size

January 19th 2020
Increase the size of the face used by the current buffer.