Set font size per pane

Joel Thornton il y a 9 ans 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.