Chris Jones fdc0d5fe2f Make the font smaller for me. This should eventually be controllable via system/local settings, but for right now, this is just for me		2006-11-08 18:05:18 -08:00
vte-demo.py	Make the font smaller for me. This should eventually be controllable via system/local settings, but for right now, this is just for me	2006-11-08 18:05:18 -08:00