Index: simintr.cc
===================================================================
--- simintr.cc	(revision 8293)
+++ simintr.cc	(working copy)
@@ -37,7 +37,7 @@
 
 bool reduce_frame_time()
 {
-	if(frame_time > 25*FRAME_TIME_MULTI) {
+	if(frame_time > 10*FRAME_TIME_MULTI) {
 		frame_time -= 1;
 		if(  frame_time>150*FRAME_TIME_MULTI  ) {
 			frame_time -= 8;
@@ -45,7 +45,7 @@
 		return true;
 	}
 	else {
-		frame_time = 25*FRAME_TIME_MULTI;
+		frame_time = 10*FRAME_TIME_MULTI;
 		return false;
 	}
 }
Index: simworld.cc
===================================================================
--- simworld.cc	(revision 8293)
+++ simworld.cc	(working copy)
@@ -3572,7 +3572,7 @@
 
 	if(  step_mode&PAUSE_FLAG  ) {
 		// not changing pauses
-		next_step_time = dr_time()+100;
+		next_step_time = dr_time() + 1000 / env_t::fps;
 		idle_time = 100;
 	}
 	else if(  step_mode==FIX_RATIO) {
@@ -3635,7 +3635,7 @@
 			if(realFPS>(env_t::fps*17/16)) {
 				increase_frame_time();
 			}
-			else if(realFPS<env_t::fps) {
+			else if(realFPS<env_t::fps*15/16) {
 				if(  1000u/get_frame_time() < 2*realFPS  ) {
 					if(  realFPS < (env_t::fps/2)  ) {
 						set_frame_time( get_frame_time()-1 );
@@ -6594,11 +6594,11 @@
 			INT_CHECK( "karte_t::interactive()" );
 			const sint32 wait_time = (sint32)next_step_time - (sint32)dr_time();
 			if(wait_time>0) {
-				if(wait_time<10  ) {
+				if(  wait_time < 4  ) {
 					dr_sleep( wait_time );
 				}
 				else {
-					dr_sleep( 9 );
+					dr_sleep( 3 );
 				}
 				INT_CHECK( "karte_t::interactive()" );
 			}