Re: instant preview font size

[Enrico Forestieri]

Abdelrazak Younes writes:

> We don't have a GUI for that?

No, we have not.

-- 
Enrico