From: Jonatan Kronqvist Date: Fri, 7 Feb 2014 13:45:56 +0000 (+0200) Subject: Merge changes from origin/7.1 X-Git-Tag: 7.2.0.beta1~180 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=22c0c3f41d475d3e186e944d2d94855d72869b2e;p=vaadin-framework.git Merge changes from origin/7.1 5b56eeb Changed the rendering order of TabSheet tabs to prevent an NPE in isClipped (#12343) 9026cef Make VTreeTableScrollBody extendable (#13054) b5a080c Provides error location for ArithmeticException. (#11877) a494133 Fixed TabSheet tab bar sizing by removing an obsolete Safari hack (#12343) 1dd2ed3 Changes padding for Textfields with Chameleon theme. (#12974) Change-Id: I44e168176753ed4228002ac11fbd214ee369131a --- 22c0c3f41d475d3e186e944d2d94855d72869b2e