+void InputManager::jumpFwd()
+{
+ int i_interval = config_GetInt( p_input, "short-jump-size" );
+ if( i_interval > 0 )
+ {
+ mtime_t val = (mtime_t)(i_interval) * 1000000L;
+ var_SetTime( p_input, "time-offset", val );
+ }
+}
+
+void InputManager::jumpBwd()
+{
+ int i_interval = config_GetInt( p_input, "short-jump-size" );
+ if( i_interval > 0 )
+ {
+ mtime_t val = -1 *(mtime_t)(i_interval) * 1000000L;
+ var_SetTime( p_input, "time-offset", val );
+ }
+}
+