Marco Martin 3751f69d40 animate editoverlay fade ... remove editoverlay after moving the cursor a lot		2015-07-10 17:56:14 +02:00
..
contents	animate editoverlay fade	2015-07-10 17:56:14 +02:00
metadata.desktop	maximized widgets explorer	2015-07-09 15:20:24 +02:00