+17
posted by Joel Thornton , 3 years ago , 0
Allow the user to persistently change the font size independently for each pane in the UI. For example, the user should be able to use a smaller font size for the console pane than their main text buffer.
Vote