Commit Graph

13 Commits

Author SHA1 Message Date
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