> Or simply use Ctrl-mousewheel to increase or decrease font size> temporary. Still 1.14 though.
Pk, will try the 1.14.rc1.
--Josh