Remove editing state indicator from F# Interactive pad
This commit is contained in:
Родитель
41cd167743
Коммит
0152baa9c1
|
@ -110,6 +110,8 @@ type InteractivePadController() as this =
|
|||
textView.Options.SetOptionValue(DefaultTextViewHostOptions.LineNumberMarginId, false)
|
||||
textView.Options.SetOptionValue(DefaultTextViewHostOptions.OutliningMarginId, false)
|
||||
textView.Options.SetOptionValue(DefaultTextViewHostOptions.GlyphMarginId, true)
|
||||
textView.Options.SetOptionValue(DefaultTextViewHostOptions.EditingStateMarginOptionId, false)
|
||||
|
||||
textView.VisualElement.TranslatesAutoresizingMaskIntoConstraints <- false
|
||||
textView.Properties.[typeof<InteractivePadController>] <- this
|
||||
let host = factory.CreateTextViewHost(textView, true)
|
||||
|
|
Загрузка…
Ссылка в новой задаче