diff options
author | Vsevolod Kukol <sevoku@microsoft.com> | 2019-06-07 14:27:41 +0300 |
---|---|---|
committer | Vsevolod Kukol <sevoku@microsoft.com> | 2019-06-07 14:29:11 +0300 |
commit | 0fc793f74f4d619daac3d4cfdecac811ebc6a325 (patch) | |
tree | 04f2e5712e1c0f8a01b3172285ec6733572f495d /main | |
parent | 08a745443457cf887868c5c63d18cdf44b39bc40 (diff) |
[Ide] Use regular Gtk.HPaned for split view with the new editor
Fixes VSTS #910879
Diffstat (limited to 'main')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/DockNotebookContainer.cs | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/DockNotebookContainer.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/DockNotebookContainer.cs index 5de2ec2472..71019c3cfc 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/DockNotebookContainer.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/DockNotebookContainer.cs @@ -224,10 +224,19 @@ namespace MonoDevelop.Components.DockNotebook return newNotebook; } + static HPaned CreatePaned () + { + // FIXME: Bug #910879: HPanedThin is not functional with the new editor, + // fall-back to the regular Gtk paned until we find the right solution + if (Ide.Editor.DefaultSourceEditorOptions.Instance.EnableNewEditor) + return new HPaned (); + return new HPanedThin { GrabAreaSize = 6 }; + } + public DockNotebook InsertLeft (SdiWorkspaceWindow window) { return Insert (window, container => { - var box = new HPanedThin { GrabAreaSize = 6 }; + var box = CreatePaned (); var new_container = new DockNotebookContainer (tabControl); box.Pack1 (container, true, true); @@ -239,7 +248,7 @@ namespace MonoDevelop.Components.DockNotebook public DockNotebook InsertRight (SdiWorkspaceWindow window) { return Insert (window, container => { - var box = new HPanedThin () { GrabAreaSize = 6 }; + var box = CreatePaned (); var new_container = new DockNotebookContainer (tabControl); box.Pack1 (new_container, true, true); |