> home > Commands

decrease_face_size

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