Increase AnimationManager debounce from 100 ms to 200 ms#3939

vogella merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:animationmanager-debounce-200msvogella/eclipse.platform.ui:animationmanager-debounce-200msCopy head branch name to clipboard