Chris Jones
|
c93e99b4c3
|
fix up backspace/delete binding widgets and fix a related mistake in the terminator_config manpage
|
2008-09-07 20:10:06 +01:00 |
|
Chris Jones
|
e370d9fbb5
|
more specific updates for the profile editor
|
2008-09-07 19:43:03 +01:00 |
|
Chris Jones
|
6b680e4c52
|
possible option for improving profile editing gui
|
2008-09-06 01:40:42 +01:00 |
|
Chris Jones
|
a32ec63a46
|
improve field names, make a couple of things dropdowns
|
2008-09-04 01:26:49 +01:00 |
|
Thomas Hurst
|
cac821f58a
|
Add a demo font selection button and a spin button for scrollback
|
2008-08-24 07:39:49 +01:00 |
|
Chris Jones
|
5f81247353
|
Feeble exploration of the parts necessary for a graphical profile editor
|
2008-08-22 00:19:18 +01:00 |