Commit Graph

20 Commits

Author SHA1 Message Date
Chris Jones
23f469add3 Fix up handle_size to work properly 2010-01-11 23:46:18 +00:00
Chris Jones
257cc3ead6 Remove the old terminator.py, rename newterminator.py accordingly and update all the references to it 2010-01-11 20:06:53 +00:00
Chris Jones
949dc81574 Clear up some import errors found by pyflakes 2010-01-11 20:03:54 +00:00
Chris Jones
75b5cd11cf Terminator::reconfigure_terminals should just be called reconfigure, and needs to start paying attention to global values 2010-01-11 10:28:47 +00:00
Chris Jones
7a06c86310 spinbutton gives us a float, but we should store an int 2010-01-11 10:10:35 +00:00
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