diff options
| author | Jose Medrano <josmed@microsoft.com> | 2019-10-16 07:00:47 +0300 |
|---|---|---|
| committer | monojenkins <jo.shields+jenkins@xamarin.com> | 2019-10-31 11:44:13 +0300 |
| commit | 2f4ee83f47bbd05e2f0b38bf3153ac770379dd96 (patch) | |
| tree | ff8773ec0359e28b990d012b82b2ff08cfaed594 /main/external/fsharpbinding | |
| parent | eb2a0cc9b156f8fa41a27c30787acbac941ce05a (diff) | |
Changes current PropertyPad to use PropertyGridWrapper in Preferences Formatting F# panel
Diffstat (limited to 'main/external/fsharpbinding')
| -rw-r--r-- | main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpFormattingPanelWidget.fs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpFormattingPanelWidget.fs b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpFormattingPanelWidget.fs index a5487f4f21..48cb88f58e 100644 --- a/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpFormattingPanelWidget.fs +++ b/main/external/fsharpbinding/MonoDevelop.FSharpBinding/FSharpFormattingPanelWidget.fs @@ -2,7 +2,7 @@ open Gtk open MonoDevelop.Core -open MonoDevelop.Components.PropertyGrid +open MonoDevelop.DesignerSupport // Handwritten GUI, feel free to edit @@ -21,7 +21,7 @@ type FSharpFormattingPolicyPanelWidget() = let mutable hbox2 : Gtk.HBox = null let mutable vbox4 : Gtk.VBox = null let mutable tableScopes : Gtk.Table = null - let mutable propertyGrid : PropertyGrid = null + let mutable propertyGrid : PropertyGridWrapper = null let getName format = if format = policy.DefaultFormat then @@ -125,12 +125,12 @@ type FSharpFormattingPolicyPanelWidget() = w8.Expand <- false w8.Fill <- false // Container child vbox4.Gtk.Box+BoxChild - propertyGrid <- new PropertyGrid() + propertyGrid <- new PropertyGridWrapper () propertyGrid.Name <- "propertyGrid" propertyGrid.ShowToolbar <- false propertyGrid.ShowHelp <- false - vbox4.Add (propertyGrid) - let w9 = vbox4.[propertyGrid] :?> Gtk.Box.BoxChild + vbox4.Add (propertyGrid.Widget) + let w9 = vbox4.[propertyGrid.Widget] :?> Gtk.Box.BoxChild w9.Position <- 2 hbox1.Add(vbox4) let w10 = hbox1.[vbox4] :?> Gtk.Box.BoxChild |