Chris Jones
|
0501ceb8d4
|
The beginnings of a layout editor
|
2010-01-30 00:27:57 +00:00 |
Chris Jones
|
a6f065aedd
|
Friendly name for the terminator spawning keyboard shortcut
|
2010-01-30 00:04:55 +00:00 |
Chris Jones
|
02a5c07ccf
|
Remove unused argument to store_profile_values()
|
2010-01-26 00:30:43 +00:00 |
Chris Jones
|
9f348c349a
|
Fix backspace/delete bindings to actually do what they say they should, per GNOME Terminal behaviour. Closes LP #511875
|
2010-01-24 15:45:47 +00:00 |
Chris Jones
|
2ba83ab4cd
|
Make prefseditor.py more pylint friendly
|
2010-01-22 22:53:23 +00:00 |
Chris Jones
|
9ef6122a97
|
Set the background type before updating the background tab, so it's actually arranged correctly
|
2010-01-22 18:39:09 +00:00 |
Chris Jones
|
d025954c60
|
Make prefseditor.py enable debugging when it's run directly
|
2010-01-22 13:00:26 +00:00 |
Chris Jones
|
df992c284e
|
Look up GNOME system font and focus settings via gconf
|
2010-01-21 21:39:05 +00:00 |
Chris Jones
|
e3cbb3e717
|
Fix a prefs editor guiget() call, and set the background type in the config file
|
2010-01-21 20:35:43 +00:00 |
Chris Jones
|
5cad06295e
|
Make the prefs editor not explode on cycle_*
|
2010-01-19 11:22:51 +00:00 |
Chris Jones
|
8c7218121f
|
get and set palette values
|
2010-01-15 23:32:38 +00:00 |
Chris Jones
|
1bcbe94e6a
|
Fix confusion around focus and scrollbar position settings not being consistent
|
2010-01-13 23:13:19 +00:00 |
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 |