2017-11-09 22:11:10 +01:00
|
|
|
<!DOCTYPE ui:UiBinder SYSTEM "http://dl.google.com/gwt/DTD/xhtml.ent">
|
|
|
|
<ui:UiBinder xmlns:ui="urn:ui:com.google.gwt.uibinder"
|
|
|
|
xmlns:g="urn:import:com.google.gwt.user.client.ui">
|
2017-11-15 19:22:20 +01:00
|
|
|
<g:HTMLPanel width="100%">
|
|
|
|
<g:VerticalPanel width="100%" ui:field="sourcesInnerPanel"></g:VerticalPanel>
|
2017-11-09 22:11:10 +01:00
|
|
|
</g:HTMLPanel>
|
|
|
|
</ui:UiBinder>
|