René Stadler b3960cf8e0 timeline: fix incorrect position after scrolling using the timeline ...

Apparently events are dropped internally, so the last position after you stop
dragging can be off.

2014-09-11 20:51:48 +02:00

..

Common

GUI: use 'with' statement

2014-09-11 20:51:47 +02:00

GUI

models: store line offsets in arrays

2014-09-11 20:51:48 +02:00

Plugins

timeline: fix incorrect position after scrolling using the timeline

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