Thomas Hurst
a37be8bb35
Change debugging from "Ignoring" to "Skipping", and use repr().
2008-08-29 21:29:07 +01:00
Thomas Hurst
4fa5e1a442
Remove some leftovers.
2008-08-28 14:20:52 +01:00
Thomas Hurst
32fc1f5082
Only set a setting if the entire line parses
2008-08-27 00:55:57 +01:00
Thomas Hurst
a63c1358ca
Use a callback for getting settings from ConfigFile, so we can validate them as they come in.
2008-08-27 00:30:13 +01:00
Thomas Hurst
5c8b1e7435
Set a default currvalue so line_ok works on configs starting with comments.
2008-08-28 15:12:05 +01:00
Thomas Hurst
c2524cec47
Actually set a colour value. Only set config options if the entire line parses correctly.
2008-08-27 01:51:37 +01:00
Thomas Hurst
c304b519ad
Handle errors a bit more sensibly, especially with quoted strings
2008-08-26 17:12:29 +01:00
Thomas Hurst
9baf905cab
Convert the stderr spam into a gtk.MessageDialog. Format and localise the error.
...
Handle unterminated quoted string errors better
2008-08-26 17:04:53 +01:00
Thomas Hurst
a89f18e095
Make config parsing errors non-fatal. Spam stderr with any errors encountered.
2008-08-26 15:41:27 +01:00
Thomas Hurst
769b86119b
Handle trailing spaces in configs properly; don't make them part of the value.
...
Handle unquoted palette values. Parse errors will occur if they're not exact.
2008-08-21 21:57:59 +01:00
Thomas Hurst
1f0bb51e76
Make sections and settings case-insensitive (stored lowercase).
...
When we get profiles we should be case-preserving, but this will do for now.
2008-08-15 13:22:07 +01:00
Thomas Hurst
c0ab0e3f34
Introduce a cut-down version of my .ini parser; this one doesn't do anything special with indents, and just builds a simple dict on parse. It does introduce the same error handling (other than that for indenting), so some previously working (but highly dubious) configs might break.
...
Hook up a [keybindings] section, to override the default ones now in config.py; teach TerminatorConfig to merge configured keybindings from available sources; gconf support shouldn't be far away.
2008-08-15 04:11:24 +01:00