Chris Jones
|
5242a0f3cb
|
Rewrite based on the very informative, if somewhat pointless gedit terminal plugin.
Lots of functionality split out into classes, with a hacky __main__ to bung four terminals into gtk panes.
|
2006-11-09 21:18:31 -08:00 |
|
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 |
|