+20
Joel Thornton 4 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.