don't reduce the message timeout for wingman

Author: michaelpj

plugins/hls-tactics-plugin/new/test/Utils.hs

@@ -65,7 +65,7 @@ runSessionForTactics =
   runSessionWithServer'
     (IdePlugins [plugin])
     def
-    (def { messageTimeout = 20, ignoreLogNotifications = False } )
+    (def { ignoreLogNotifications = False } )
     fullCaps
     tacticPath
 

plugins/hls-tactics-plugin/old/test/Utils.hs

@@ -67,7 +67,7 @@ runSessionForTactics act = do
   runSessionWithServer'
     (plugin recorder)
     def
-    (def { messageTimeout = 20 } )
+    (def { ignoreLogNotifications = False })
     fullCaps
     tacticPath
     act