on master help sign in
Remove EventFileValidation (#1579)
1d3d46eMoritz Kiefer
src/Development/IDE/Types/LSP.hs−3
@@ -49,7 +49,4 @@ data Event
49 -- resource @resource@ changed to @contents
49 -- resource @resource@ changed to @contents
50 -- NOTE(JM,MH): Keep the contents lazy as we rely on it in
50 -- NOTE(JM,MH): Keep the contents lazy as we rely on it in
51 -- 'manageOpenVRs'.
51 -- 'manageOpenVRs'.
52− | EventFileValidation Int Int
53− -- ^ @EventFileValidation finishedValidations totalValidations @
54− -- How many validations have we finished of how many total.
55 deriving Show
52 deriving Show