]> source.dussan.org Git - vaadin-framework.git/commit
widgetset build button in plugin can now be used while developing vaadin itself
authorMatti Tahvonen <matti.tahvonen@itmill.com>
Tue, 3 Nov 2009 12:43:46 +0000 (12:43 +0000)
committerMatti Tahvonen <matti.tahvonen@itmill.com>
Tue, 3 Nov 2009 12:43:46 +0000 (12:43 +0000)
commit7165b1d6601b32a6b258f6309f5aa4293bf5f4d5
treec265903dc70b02ee5594709ab79bd582963d5a1d
parent6f0ac065787bcde54260cb0b0fdb3533a84f2b0c
widgetset build button in plugin can now be used while developing vaadin itself

svn changeset:9602/svn branch:6.2
src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml
src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java