]> source.dussan.org Git - vaadin-framework.git/commit
Compensate for borders when size is not undefined (#8313)
authorLeif Åstrand <leif@vaadin.com>
Thu, 15 Mar 2012 10:38:28 +0000 (12:38 +0200)
committerLeif Åstrand <leif@vaadin.com>
Thu, 15 Mar 2012 10:38:28 +0000 (12:38 +0200)
commit64d0d36e26a84c449f742cf7879af741c4de6904
treee17cb55dee1df69b43e9911e44e04e31e6900f92
parent8ca6ae2a5ea772d8dbac11c0a6915e1d840e5b40
Compensate for borders when size is not undefined (#8313)
src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java