autohide scrollbars in workspace explorer - for

This commit is contained in:
Vadim Lopatin 2017-09-14 15:33:37 +03:00
parent 8303d36d7b
commit 46b5a3efb3
2 changed files with 2 additions and 2 deletions
src/dlangide/ui

View File

@ -137,7 +137,7 @@ const Action ACTION_HELP_DONATE = new Action(IDEActions.HelpDonate, "MENU_HELP_D
const Action ACTION_WINDOW_CLOSE_DOCUMENT = new Action(IDEActions.WindowCloseDocument, "MENU_WINDOW_CLOSE_DOCUMENT"c, null, KeyCode.KEY_W, KeyFlag.Control).disableByDefault();
const Action ACTION_WINDOW_CLOSE_ALL_DOCUMENTS = new Action(IDEActions.WindowCloseAllDocuments, "MENU_WINDOW_CLOSE_ALL_DOCUMENTS"c).disableByDefault();
const Action ACTION_WINDOW_SHOW_HOME_SCREEN = new Action(IDEActions.WindowShowHomeScreen, "MENU_WINDOW_SHOW_HOME_SCREEN"c);
const Action ACTION_WINDOW_SHOW_WORKSPACE_EXPLORER = new Action(IDEActions.WindowShowWorkspaceExplorer, "MENU_WINDOW_SHOW_WORKSPACE_EXPLORER"c);
const Action ACTION_WINDOW_SHOW_WORKSPACE_EXPLORER = new Action(IDEActions.WindowShowWorkspaceExplorer, "MENU_WINDOW_SHOW_WORKSPACE_EXPLORER"c).disableByDefault();;
const Action ACTION_CREATE_NEW_WORKSPACE = new Action(IDEActions.CreateNewWorkspace, "OPTION_CREATE_NEW_WORKSPACE"c);
const Action ACTION_ADD_TO_CURRENT_WORKSPACE = new Action(IDEActions.AddToCurrentWorkspace, "OPTION_ADD_TO_CURRENT_WORKSPACE"c);

View File

@ -76,7 +76,7 @@ class WorkspacePanel : DockWindow {
}
override protected Widget createBodyWidget() {
_tree = new TreeWidget("wstree");
_tree = new TreeWidget("wstree", ScrollBarMode.Auto, ScrollBarMode.Auto);
_tree.layoutHeight(FILL_PARENT).layoutHeight(FILL_PARENT);
_tree.selectionChange = &onTreeItemSelected;
_tree.expandedChange.connect(&onTreeExpandedStateChange);