2953 Commits

All Branches

Search

Author	SHA1	Message	Date
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
Chris Jones	10c3d6ecb8	Split out the terminal widget creation code into a function so it can easily be reused	2006-11-08 18:04:07 -08:00
Chris Jones	47dd490825	Start work on a very simple port of multi-gnome-terminal to gtk2 and python. ... Rather than a real port this is intended to be a quick hack for me to have more terminals with less screen space wasted	2006-11-08 18:02:53 -08:00