-
Committer:
Benjamin Kampmann
-
Date:
2008-09-29 16:06:44 UTC
-
mfrom:
(741.2.32 reenter_menu)
-
Revision ID:
benjamin@fluendo.com-20080929160644-9r670fm7f149l3v0
Merge reenter menu fixes:
- make append_controller of history cancellable
- make the push controller signal asynchronous
- introduce sensitive system
- refactor code to take care of double clicks at one certain place only