Tree does not have scrolbars inside Panel with Valo theme

[code]
import com.vaadin.annotations.Theme;
import com.vaadin.server.VaadinRequest;
import com.vaadin.ui.*;
import com.vaadin.ui.themes.ValoTheme;

@Theme(ValoTheme.THEME_NAME)
public class TestUI extends UI {

@Override
protected void init(VaadinRequest request) {
    Panel panel = new Panel();
    panel.setWidth(400, Unit.PIXELS);
    panel.setHeight(200, Unit.PIXELS);

    Tree t = new Tree();
    t.setSizeFull();

    for (int i = 0; i < 20; i++) {
        t.addItem(i);
        t.setItemCaption(i, "OK " + i);
    }

    panel.setContent(t);

    setContent(panel);
}

}
[/code]Tree does not have scrollbars, scroll by mouse wheel does not work

I’ve posted issue
http://dev.vaadin.com/ticket/15554

In the UI you posted it makes sense for the Tree or better the Panel not to have any scrollbars as the size of your tree is set to Full. If you use setSizeUndefined() instead and still don’t see scrollbars when the Tree expands over the size of the Panel it really is a bug.
SizeFull means the Tree will expand to the maximum possible size of its parent.

(I just tested it and yes using setSizeUndefined will cause scrollbars to appear as desired)

But! Tree can itself show scrollbars. In 7.3 release this functionality is broken. If I add Tree to VerticalLayout and then add VerticalLayout to Panel Tree show scrollbars normally. This bug in CSS:

.v-scrollable>.v-widget{vertical-align:middle;overflow:hidden}

I noticed this change as of Vaadin 7.3.3 and higher. Now if you setSizeFull on the Tree object then its size matches the alloted screen size and lacks scrollbars. My trees are wrapped in a Panel and I fixed it by removing setSizeFull method calls.