enable y-scrolling on outline widget

kevinushey · kevinushey · commit 1074333f239a · 2015-06-25T14:27:43.000-07:00
diff --git a/src/gwt/src/org/rstudio/studio/client/workbench/views/source/DocumentOutlineWidget.css b/src/gwt/src/org/rstudio/studio/client/workbench/views/source/DocumentOutlineWidget.css
@@ -1,5 +1,9 @@
 @external gwt-Label;
 
+.panel {
+	overflow-y: auto;
+}
+
 .container {
 	width: 100%;
 	height: 100%;
diff --git a/src/gwt/src/org/rstudio/studio/client/workbench/views/source/DocumentOutlineWidget.java b/src/gwt/src/org/rstudio/studio/client/workbench/views/source/DocumentOutlineWidget.java
@@ -219,6 +219,7 @@ public DocumentOutlineWidget(TextEditingTarget target)
       tree_.addStyleName(RES.styles().tree());
       
       panel_ = new FlowPanel();
+      panel_.addStyleName(RES.styles().panel());
       panel_.add(tree_);
       
       container_.add(panel_);
@@ -517,6 +518,7 @@ private boolean isActiveNode(Scope node)
    // Styles, Resources etc. ----
    public interface Styles extends CssResource
    {
+      String panel();
       String container();
       
       String leftSeparator();
