]> source.dussan.org Git - vaadin-framework.git/commit
Repaint when contents changes (#8735)
authorArtur Signell <artur@vaadin.com>
Fri, 1 Jun 2012 12:38:54 +0000 (15:38 +0300)
committerArtur Signell <artur@vaadin.com>
Fri, 1 Jun 2012 12:38:54 +0000 (15:38 +0300)
commit33b1c7c40077304dc6f17f10896bbee6e37e95c1
treea1e56cf4a67ef30a4a823b186d1dee194d711297
parentc0e3309e9bef20d34dd3e573bfd99540e29a291b
Repaint when contents changes (#8735)
src/com/vaadin/ui/Panel.java