-
Jeff Fortin authored
This greatly simplifies the code (present and future) and makes the whole app incredibly more reliable when it comes to preventing "dangerous" timeline shortcuts (such as Delete/Spacebar) from interfering with other GTK+ widgets. Fixes bug #707828
13621422