2020-11-10 16:22:28 +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">
|
|
|
|
<ui:style>
|
2020-11-11 15:53:04 +01:00
|
|
|
.internalMap {
|
2020-11-12 11:39:52 +01:00
|
|
|
width: 300px;
|
|
|
|
height: 300px;
|
2020-11-11 15:53:04 +01:00
|
|
|
}
|
2020-11-10 16:22:28 +01:00
|
|
|
</ui:style>
|
2020-11-11 15:53:04 +01:00
|
|
|
<g:HTMLPanel>
|
|
|
|
<g:HTMLPanel ui:field="theMap"
|
|
|
|
addStyleNames="{style.internalMap}">
|
|
|
|
</g:HTMLPanel>
|
|
|
|
<g:HorizontalPanel ui:field="coordinatePanel"
|
|
|
|
visible="false"></g:HorizontalPanel>
|
2020-11-10 16:22:28 +01:00
|
|
|
</g:HTMLPanel>
|
|
|
|
</ui:UiBinder>
|