It's not elegant (because it's only for Listener and Browser, and different
for each one), but there is a way to do that for the Listener and Browser.
In the Listener, for example:
IN: scratchpad "monospace" 20 set-listener-font
In the Browser:
Ctrl "plus" to increase font size (Ctrl "minus" to decrease)
After making those changes, you can ``save`` the image and when you restart
Factor the font sizes should be changed.
I'd love a PR or some attempt to use the new theme engine (``ui.theme``) or
something to have a global font size adjustment.
On Tue, Jun 6, 2017 at 5:47 PM, Sankaranarayanan Viswanathan <
rationalrev...@gmail.com> wrote:
> Hi Guys,
>
> Is there a way to increase the font-size of the UI globally?
>
> Thanks,
> Sankar
>
>
>
> --
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
