Chris Jones
|
dd3658a196
|
Stop the scrollbar from taking up more space than it renders in
|
2006-11-09 11:30:02 -08:00 |
|
Chris Jones
|
f11b8797f4
|
Pack the terminal&scrollbar boxes into a paned widget for resizing goodness
|
2006-11-09 11:29:11 -08:00 |
|
Chris Jones
|
5906085998
|
Proof of concept. I can pack two vte widgets in and they are totally usable. woo!
|
2006-11-08 18:09:44 -08:00 |
|
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 |