Skip to content

Commit da05c42

Browse files
committed
add pause before background work (2)
1 parent 66f7ed7 commit da05c42

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/fsharp/vs/service.fsi

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -687,7 +687,7 @@ type FSharpChecker =
687687
member ImplicitlyStartBackgroundWork: bool with get, set
688688
689689
/// Get or set the pause time in milliseconds before background work is started.
690-
member PauseBeforeBackgroundWork: bool with get, set
690+
member PauseBeforeBackgroundWork: int with get, set
691691
692692
[<Obsolete("Renamed to BeforeBackgroundFileCheck")>]
693693
member FileTypeCheckStateIsDirty : IEvent<string>

0 commit comments

Comments
 (0)