Chris Jones
|
6a2d75c33c
|
Merge (with minor modifications) some fixes for safety wrt font names and rounding background darkness values
|
2010-04-02 15:04:44 +01:00 |
Andrew Felske
|
c77a23a032
|
Remove TODO for previous commit.
|
2010-04-02 01:46:46 +00:00 |
Andrew Felske
|
7768db9081
|
Make sure system font name isn't None before trying to set it. Also round the background darkness float value to two decimal places.
|
2010-04-02 01:21:18 +00:00 |
Chris Jones
|
d6e011281e
|
Prevent colourscheme oddness setting null foreground/background colours. Closes LP #553383
|
2010-04-01 22:05:14 +01:00 |
Chris Jones
|
dde412a53b
|
Fix handling of background_darkness changing. Closes LP #553276
|
2010-04-01 14:39:38 +01:00 |
Chris Jones
|
1afd5a3ced
|
Fix the handler for handle size changing
|
2010-03-31 09:26:09 +01:00 |
Chris Jones
|
bbdf055477
|
Rather than having people use an ugly value of -1 for infinite scrollback, have it as a separate setting, with all of the extra gubbins involved in making that work neatly. Closes LP #532513
|
2010-03-24 13:22:37 +00:00 |
Chris Jones
|
e7c297277f
|
Save the config when adding or removing layouts
|
2010-03-18 23:11:18 +00:00 |
Chris Jones
|
2e116b09eb
|
inhibit config saving while we're loading the config into the GUI, otherwise it saves a whole bunch for no good reason. Update the LayoutEditor's idea of the layout name when it's renamed. Set the layout item command/profile to the default values if there are no stored values. Save the layout item command/profile when they change.
|
2010-03-10 12:52:25 +00:00 |
Chris Jones
|
b7e9c4d02c
|
Switch from static storing of values to storing them immediately when the user changes them. This needs a whole heap of refactoring to make the setter methods more generic, and we need to think about all the calls to Concig.save()
|
2010-03-09 13:09:07 +00:00 |
Chris Jones
|
27d8223a28
|
Change all GUI object names to use underscores instead of minus signs, so glade doesn't suggest syntactically invalid signal handler names
|
2010-03-06 11:09:32 +00:00 |
Chris Jones
|
b8703fdecb
|
Layout item handling is now done via a separate controller object.
|
2010-03-05 22:20:48 +00:00 |
Chris Jones
|
67d9e136f3
|
Add an Ambience colour scheme, to match the new GNOME Terminal profile in Lucid
|
2010-03-05 12:29:51 +00:00 |
Chris Jones
|
d51d9cd700
|
Stop using goocanvas for now
|
2010-02-27 14:06:53 +01:00 |
Chris Jones
|
fdb5784b15
|
Simplest possible GooCanvas usage for the layout preview.
|
2010-02-12 08:16:18 +00:00 |
Chris Jones
|
c387197b93
|
Add preferences dialog entries for icon bell and generally re-arrange the bell options into their own section
|
2010-02-11 13:45:02 +00:00 |
Chris Jones
|
79a340539b
|
Make the titlebar presence configurable by config file and context menu. If it's missing, draw a frame around the Terminal, to indicae colour
|
2010-02-09 00:23:21 +00:00 |
Chris Jones
|
eb7fcf5189
|
Expose cursor blinking and colour in the prefs editor
|
2010-02-08 22:10:59 +00:00 |
Chris Jones
|
79381c61d0
|
Edit new profiles/layouts as they are created. Partly because the default names suck, but partly to clearly hint that they are editable
|
2010-02-08 21:03:43 +00:00 |
Chris Jones
|
ad5c927d15
|
Add a section to the global config for setting the various fg/bg colours of the titlebars
|
2010-02-08 20:22:08 +00:00 |
Chris Jones
|
41a8b2372c
|
Undo my madness
|
2010-02-05 00:16:24 +00:00 |
Chris Jones
|
882f325a73
|
Move all the layout stuff onto a separate branch so trunk can shape up for 0.90
|
2010-02-04 23:24:27 +00:00 |
Chris Jones
|
678057a0d3
|
First run at layout loading, creating, enumerating and saving. It sucks and works poorly at the moment, but here it is
|
2010-02-01 12:11:44 +00:00 |
Chris Jones
|
5392585893
|
previous_selection was being mistakenly overloaded for profiles and layouts. split it out into two variables
|
2010-01-31 16:24:45 +00:00 |
Chris Jones
|
f1fe0bbf20
|
Stop the default profile/layout from being editable
|
2010-01-30 15:33:37 +00:00 |
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 |