From 9121079cfe521b1de92c52b9cd8d4295050374cb Mon Sep 17 00:00:00 2001
From: Richard Harrison <rjh@zaretto.com>
Date: Sun, 28 Apr 2019 19:40:01 +0200
Subject: [PATCH] Disable time easing if ctrl key pressed.

---
 src/Time/TimeManager.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Time/TimeManager.cxx b/src/Time/TimeManager.cxx
index 73c7b1bf7..deae53ce8 100644
--- a/src/Time/TimeManager.cxx
+++ b/src/Time/TimeManager.cxx
@@ -450,7 +450,7 @@ void TimeManager::setTimeOffset(const std::string& offset_type, long int offset)
      warp = 0;
   }
   
-  if( fgGetBool("/sim/time/warp-easing", false) ) {
+  if( fgGetBool("/sim/time/warp-easing", false) && !fgGetBool("/devices/status/keyboard/ctrl", false)) {
     double duration = fgGetDouble("/sim/time/warp-easing-duration-secs", 5.0 );
     const string easing = fgGetString("/sim/time/warp-easing-method", "swing" );
     SGPropertyNode n;