]> source.dussan.org Git - vaadin-framework.git/commit
Converted many integer pixel values to doubles instead (#13334)
authorHenrik Paul <henrik@vaadin.com>
Wed, 12 Feb 2014 15:15:43 +0000 (17:15 +0200)
committerHenrik Paul <henrik@vaadin.com>
Thu, 10 Apr 2014 08:53:14 +0000 (11:53 +0300)
commitf0d60095d0ba48e81944e4ef62195b876df8bfd3
tree7397b4c2c3cbb0ccfd21faa93f282963d197df3e
parent66f08e6eef91d26a674e21170a4b3a6885442764
Converted many integer pixel values to doubles instead (#13334)

Change-Id: I5933b24a557c7012841d7ac465e07a63a5d83e3d
client/src/com/vaadin/client/ui/grid/Escalator.java
client/src/com/vaadin/client/ui/grid/ScrollbarBundle.java