final CheckBox logsCheckBox = new CheckBox(row1Container);
logsCheckBox.setChecked(true);
Element logsLabel = doc.createSpanElement();
logsLabel.setInnerText("Logs");
row1.getElement().appendChild(logsLabel);
logsCheckBox.addClickListener(new ClickListener() {
public void onClick(ClickEvent event) {
eventFilter.setFilterUserLogs(!logsCheckBox.isChecked());
eventTable.renderTable();
}
});
final CheckBox hintletsCheckBox = new CheckBox(row1Container);
hintletsCheckBox.setChecked(true);
Element hintletsLabel = doc.createSpanElement();
hintletsLabel.setInnerText("Hints");
row1.getElement().appendChild(hintletsLabel);
hintletsCheckBox.addClickListener(new ClickListener() {
public void onClick(ClickEvent event) {
eventFilter.setFilterHints(!hintletsCheckBox.isChecked());
eventTable.renderTable();
}
});