René Stadler 66ed3bb258 Use pango markup instead of attributes ... Attributes don't work from introspection, so this blocks porting to gtk3. In MessageColumn, admit that multiple highlighters don't actually work.		2014-09-11 20:51:48 +02:00
..
Common	GUI: use 'with' statement	2014-09-11 20:51:47 +02:00
GUI	Use pango markup instead of attributes	2014-09-11 20:51:48 +02:00
Plugins	Use pango markup instead of attributes	2014-09-11 20:51:48 +02:00
__init__.py	Migrate from glade to GtkBuilder	2014-09-11 20:51:45 +02:00
Data.py	Data: improve stripped log file loading performance	2014-09-11 20:51:48 +02:00
Main.py	Fix --version option	2014-09-11 20:51:46 +02:00