◐ Shell
clean mode source ↗

Message 224261 - Python tracker

Hi Terry,

I've added to the patch, so that the user is able to change the font size through the GUI. I tried to match Google Doc's behaviour. I also added a max font size. I choose 400 since that is what Google Docs limits their font size.

If you prefer to split out the GUI functionaly out of this patch and submit a new patch after this has been committed, that's totally cool!