Incomplete documentation for mouse/keyboard callback machinery