164 Commits

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