Chris Jones
|
594ee47912
|
Complete the Terminal Command profile tab. Teach the colour scheme picker how to exist in the config and how to be controlled by the prefs UI
|
2010-01-08 23:51:45 +00:00 |
|
Chris Jones
|
1924c2f81a
|
fix up the General profile tab in the prefs editor and hook all of its elements up to code
|
2010-01-08 08:39:21 +00:00 |
|
Chris Jones
|
4aa1b50fe6
|
Change the way window state config works. Initial workings of preferences window.
|
2010-01-08 01:02:49 +00:00 |
|
Chris Jones
|
26f0b2be69
|
Rename the Profile editor to a general preferences editor and only show a choice of profiles if there's more than one
|
2010-01-03 17:53:25 +00:00 |