2020-10-23 18:18:06 +02: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"
|
|
|
|
xmlns:b="urn:import:com.github.gwtbootstrap.client.ui">
|
|
|
|
<ui:style>
|
2020-11-02 17:04:31 +01:00
|
|
|
.margin-right-10 {
|
2020-10-30 17:32:05 +01:00
|
|
|
margin-right: 10px;
|
|
|
|
}
|
2020-10-23 18:18:06 +02:00
|
|
|
</ui:style>
|
|
|
|
<g:HTMLPanel ui:field="mainHTMLPanel">
|
|
|
|
<b:TabPanel ui:field="mainTabPanel" tabPosition="top">
|
2020-10-27 10:19:32 +01:00
|
|
|
<b:Tab ui:field="mapTabPanel" active="true" heading="Map">
|
2020-11-02 17:04:31 +01:00
|
|
|
<b:DropdownButton type="LINK" text="Query">
|
|
|
|
<!-- <b:ButtonGroup toggle="checkbox" ui:field="buttonGroup"> -->
|
|
|
|
<b:NavLink ui:field="dataPointSelection"
|
|
|
|
addStyleNames="{style.margin-right-10}">Data Point
|
|
|
|
Selection</b:NavLink>
|
2020-11-03 13:09:08 +01:00
|
|
|
<b:NavLink ui:field="dataBoxSelection" visible="false">Data Box
|
2020-11-02 17:04:31 +01:00
|
|
|
Selection</b:NavLink>
|
|
|
|
<!-- </b:ButtonGroup> -->
|
|
|
|
</b:DropdownButton>
|
|
|
|
<b:Button type="LINK" ui:field="removeQuery" text="Remove Query" visible="false"></b:Button>
|
2020-10-23 18:18:06 +02:00
|
|
|
</b:Tab>
|
|
|
|
</b:TabPanel>
|
|
|
|
</g:HTMLPanel>
|
|
|
|
</ui:UiBinder>
|