Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorVsevolod Kukol <sevoku@microsoft.com>2019-06-07 14:27:41 +0300
committerVsevolod Kukol <sevoku@microsoft.com>2019-06-07 14:29:11 +0300
commit0fc793f74f4d619daac3d4cfdecac811ebc6a325 (patch)
tree04f2e5712e1c0f8a01b3172285ec6733572f495d /main
parent08a745443457cf887868c5c63d18cdf44b39bc40 (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.cs13
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);