Chris Jones
|
5ae299e6da
|
Make the OK button in the preferences editor reconfigure all live terminals
|
2010-01-10 23:58:05 +00:00 |
|
Chris Jones
|
295aeed2e2
|
Unset the previous profile selection if we just removed it
|
2010-01-10 23:54:51 +00:00 |
|
Chris Jones
|
da7f1a6ea1
|
renaming the current profile wasn't updating Config.profile with the new value. Now it is.
|
2010-01-10 00:53:27 +00:00 |
|
Chris Jones
|
371aebc067
|
Add the keybinding descriptions
|
2010-01-10 00:35:38 +00:00 |
|
Chris Jones
|
180ccbbf03
|
Hook up the keybindings tab in the preferences editor. Loads and saves
|
2010-01-10 00:20:24 +00:00 |
|
Chris Jones
|
2cc76de609
|
gtkscale insists on getting float values
|
2010-01-09 22:27:56 +00:00 |
|
Chris Jones
|
2b7be76004
|
Move our preferences glade file to terminatorlib/ so we can use the built-in knowledge of where that is on-disk to find the .glade file
|
2010-01-09 17:49:14 +00:00 |
|
Chris Jones
|
80e0926a05
|
remove some old data, fix up a few defaults that didn't quite match up with reality, and implement the final bits of functionality to make the OK button DTRT
|
2010-01-09 17:42:59 +00:00 |
|
Chris Jones
|
92e7eb1dff
|
support adding and removing profiles, and returning their values to Config() when switching between them
|
2010-01-09 15:51:56 +00:00 |
|
Chris Jones
|
f273c198c9
|
Finish off the Compatibility tab and the other UI toggles in the profile tabs.
|
2010-01-09 11:52:30 +00:00 |
|
Chris Jones
|
dd45d51725
|
fix up all of the profile apart from the palette
|
2010-01-09 00:47:49 +00:00 |
|
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 |