]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge changes from origin/7.2
authorArtur Signell <artur@vaadin.com>
Mon, 14 Apr 2014 12:44:10 +0000 (15:44 +0300)
committerArtur Signell <artur@vaadin.com>
Mon, 14 Apr 2014 12:44:10 +0000 (15:44 +0300)
d2e24fe Update some APIs based on the 7.2 API review comments
758f26b Fix NPE when removing tabsheet (#13402)

Change-Id: Ic23793738c866d3b6d1a376f37dc4a56f72b8e43

1  2 
server/src/com/vaadin/ui/UI.java
server/src/com/vaadin/ui/Window.java

Simple merge
Simple merge