Chris Jones
|
d4379a6e42
|
Revert packN to addN since I've ended up back at the default settings anyway. Restore default behaviour of 4 terminals. Doing this before the window has actually been displayed is a horror show, so we're hackily using a timeout. This should really be tied to a signal that gets emitted after the window is rendered
|
2007-07-29 04:43:06 +01:00 |
Chris Jones
|
ceeb162894
|
Calculate amount of space required for scrollbars and resizing handles and make terminals appropriately smaller. This should prevent the terminator window resizing off the edge of the screen except in extreme circumstances
|
2007-07-29 03:49:19 +01:00 |
Chris Jones
|
e30bc9c689
|
Fix resizing so you can actually make the widget smaller
|
2007-07-29 03:16:18 +01:00 |
Chris Jones
|
cc53215ea0
|
Cut&paste horizontal splitting to vertical splitting. Also make the splitting function return the new term it createdx
|
2007-07-29 03:12:04 +01:00 |
Chris Jones
|
78f030ca2a
|
Add support for dynamically splitting terminals. This requires us to set a very small initial size for the terminals otherwise the window grows in multiples of the screen width/height, which is less than helpful. also remove much initialisation code, now it isn't necessary
|
2007-07-29 03:06:52 +01:00 |
Chris Jones
|
97a11e2155
|
Add another FIXME
|
2007-07-28 22:27:44 +01:00 |
Chris Jones
|
8b06997fb2
|
Fix some spelling, spacing and language. Remove a FIXME that was fixed in 0.1
|
2007-07-28 19:36:51 +01:00 |
Chris Jones
|
1aec4fecd1
|
Add the tedious legal stuff
|
2007-07-28 02:33:48 +01:00 |
Chris Jones
|
4d7658d7f0
|
This properly replicates child respawning behaviour from gnome-terminal's gconf profile
|
2007-07-28 02:17:37 +01:00 |
Chris Jones
|
238b75a068
|
attempt to fix backspace/delete handling and system theme colouring. Neither is really a resounding success. python-vte lacks some constants and the colour thing is still broken
|
2007-07-28 01:44:32 +01:00 |
Chris Jones
|
6947d4fd3d
|
Track gnome-terminal colour settings
|
2007-07-28 00:33:43 +01:00 |
Chris Jones
|
4183f27418
|
Read some gconf values and set the terminal's palette.
|
2007-07-27 23:31:58 +01:00 |
Chris Jones
|
7793ebee44
|
oops
|
2007-07-17 00:58:19 +01:00 |