From bed6b6a709d4f2d0df1d8984285d73463a81b2cc Mon Sep 17 00:00:00 2001
From: Vadim Lopatin <coolreader.org@gmail.com>
Date: Tue, 29 Aug 2017 16:03:54 +0300
Subject: [PATCH] hide workspace tree when no workspace is opened

---
 src/dlangide/ui/frame.d | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/dlangide/ui/frame.d b/src/dlangide/ui/frame.d
index 5f1a8d1..ca65b90 100644
--- a/src/dlangide/ui/frame.d
+++ b/src/dlangide/ui/frame.d
@@ -666,6 +666,7 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
         _wsPanel.workspaceActionListener = &handleAction;
         _wsPanel.dockAlignment = DockAlignment.Left;
         _dockHost.addDockedWindow(_wsPanel);
+        _wsPanel.visibility = Visibility.Gone;
 
         _logPanel = new OutputPanel("output");
         _logPanel.compilerLogIssueClickHandler = &onCompilerLogIssueClick;
@@ -1504,8 +1505,11 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
             _tabs.setFocus();
         }
         if (ws) {
+            _wsPanel.visibility = Visibility.Visible;
             _settings.updateRecentWorkspace(ws.filename);
             _settings.setRecentPath(ws.dir, "FILE_OPEN_WORKSPACE_PATH");
+        } else {
+            _wsPanel.visibility = Visibility.Gone;
         }
 
     }