René Stadler e46367c073 timeline: fix possible lag when dragging on timeline ... I need to idle-aggregate scroll updates, since gtk performs heavy operations in a synchronous fashion here (ironically, they do that to make scrolling smooth).		2014-09-11 20:51:46 +02:00
..
Common	GUI: Work around GtkBuilder name property API break (gtk+ 2.20)	2014-09-11 20:51:46 +02:00
GUI	Add new base time feature	2014-09-11 20:51:46 +02:00
Plugins	timeline: fix possible lag when dragging on timeline	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	Add new base time feature	2014-09-11 20:51:46 +02:00
Main.py	Main: fix import	2014-09-11 20:51:46 +02:00