René Stadler ca9a31ddd9 columns: auto size time column when setting base time ... Base time formatting adds + or - in front of the timestamp, so the column has to grow a little to not hide the last digit. Also fixes a crash when setting the base time while the time column is hidden.		2014-09-11 20:51:47 +02:00
..
Common	GUI: Work around GtkBuilder name property API break (gtk+ 2.20)	2014-09-11 20:51:46 +02:00
GUI	columns: auto size time column when setting base time	2014-09-11 20:51:47 +02:00
Plugins	Timeline: small cleanup	2014-09-11 20:51:46 +02:00
__init__.py	Migrate from glade to GtkBuilder	2014-09-11 20:51:45 +02:00
Data.py	Data: remove log line serialization	2014-09-11 20:51:46 +02:00
Main.py	Fix --version option	2014-09-11 20:51:46 +02:00