]> source.dussan.org Git - vaadin-framework.git/commit
Make VFilterSelect work with border-box & MeasureManager (#8313)
authorLeif Åstrand <leif@vaadin.com>
Thu, 16 Feb 2012 10:14:30 +0000 (12:14 +0200)
committerLeif Åstrand <leif@vaadin.com>
Thu, 16 Feb 2012 10:14:30 +0000 (12:14 +0200)
commit3f60c5e4f72239c44f94f1d8f55191bd596e9893
tree7eb858caba1af4bd0ed631ff44dcaf319f10676a
parentbe3b7fd92af290da5692082e186b622d59614e72
Make VFilterSelect work with border-box & MeasureManager (#8313)
WebContent/VAADIN/themes/base/select/select.css
WebContent/VAADIN/themes/reindeer/select/select.css
src/com/vaadin/terminal/gwt/client/ui/VFilterSelect.java
src/com/vaadin/terminal/gwt/client/ui/VFilterSelectPaintable.java