forks
/
dlangide
mirror of https://github.com/buggins/dlangide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

hide workspace tree when no workspace is opened

This commit is contained in:
Vadim Lopatin 2017-08-29 16:03:54 +03:00
parent 01fbc67b05
commit bed6b6a709
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/dlangide/ui/frame.d
View File

@ -666,6 +666,7 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
_wsPanel.workspaceActionListener = &handleAction; _wsPanel.workspaceActionListener = &handleAction;
_wsPanel.dockAlignment = DockAlignment.Left; _wsPanel.dockAlignment = DockAlignment.Left;
_dockHost.addDockedWindow(_wsPanel); _dockHost.addDockedWindow(_wsPanel);
_wsPanel.visibility = Visibility.Gone;
_logPanel = new OutputPanel("output"); _logPanel = new OutputPanel("output");
_logPanel.compilerLogIssueClickHandler = &onCompilerLogIssueClick; _logPanel.compilerLogIssueClickHandler = &onCompilerLogIssueClick;
@ -1504,8 +1505,11 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
_tabs.setFocus(); _tabs.setFocus();
} }
if (ws) { if (ws) {
_wsPanel.visibility = Visibility.Visible;
_settings.updateRecentWorkspace(ws.filename); _settings.updateRecentWorkspace(ws.filename);
_settings.setRecentPath(ws.dir, "FILE_OPEN_WORKSPACE_PATH"); _settings.setRecentPath(ws.dir, "FILE_OPEN_WORKSPACE_PATH");
} else {
_wsPanel.visibility = Visibility.Gone;
} }
} }