David Capello 049111bfad Put font size before font family
In this way we can press T, Tab, change the font size, and Enter to try
again quickly with other font size.
2015-10-16 18:40:14 -03:00
..
2013-01-27 12:13:13 -03:00
2015-07-22 16:40:44 -03:00
2013-01-27 12:13:13 -03:00
2013-01-27 12:13:13 -03:00
2013-01-27 12:13:13 -03:00