We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c877021 commit c04b0abCopy full SHA for c04b0ab
src/Components/Fsi.fs
@@ -429,8 +429,9 @@ module Fsi =
429
window.showErrorMessage ("Unable to spawn FSI") |> ignore
430
431
failwith "unable to spawn FSI"
432
-
433
- let terminal = window.createTerminal !!profile.options
+ // this coercion could be to either type - TerminalOptions _or_ ExtensionTerminalOptions
+ // we don't actually care here so I picked the first Case on the U2 here.
434
+ let terminal = window.createTerminal (!!profile.options : TerminalOptions)
435
436
// Wait for the new terminal to be ready
437
let! newTerminal =
0 commit comments