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
a89f18e095
Make config parsing errors non-fatal. Spam stderr with any errors encountered.
2008-08-26 15:41:27 +01:00
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
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
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
Thomas Hurst