7374757677787980818283
}; filter.bind(store); VerticalPanel panel = new VerticalPanel(); panel.addStyleName("x-small-editor"); panel.setSpacing(8); panel.add(new Html("<span class=text>Enter a search string such as 'vio'</span>")); panel.add(filter); panel.add(tree);