Scale the UI font on macOS to better match native sizes
Scale the UI font on macOS to better match native sizes

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm