HorizontalPanel optionsPanel = new HorizontalPanel();
optionsPanel.addStyleName(RES.styles().optionsPanel());
optionsPanel.add(chkInSelection_ = new CheckBox());
Label inSelectionLabel = new CheckboxLabel(chkInSelection_,
"In selection").getLabel();
inSelectionLabel.addStyleName(RES.styles().checkboxLabel());
optionsPanel.add(inSelectionLabel);
optionsPanel.add(chkCaseSensitive_ = new CheckBox());
Label matchCaseLabel =
new CheckboxLabel(chkCaseSensitive_, "Match case").getLabel();
matchCaseLabel.addStyleName(RES.styles().checkboxLabel());
optionsPanel.add(matchCaseLabel);
optionsPanel.add(chkWholeWord_ = new CheckBox());
Label wholeWordLabel =
new CheckboxLabel(chkWholeWord_, "Whole word").getLabel();
wholeWordLabel.addStyleName(RES.styles().checkboxLabel());
optionsPanel.add(wholeWordLabel);
optionsPanel.add(chkRegEx_ = new CheckBox());
Label regexLabel = new CheckboxLabel(chkRegEx_, "Regex").getLabel();
regexLabel.addStyleName(RES.styles().checkboxLabel());
optionsPanel.add(regexLabel);
optionsPanel.add(chkWrapSearch_ = new CheckBox());
Label wrapSearchLabel = new CheckboxLabel(chkWrapSearch_,
"Wrap").getLabel();
wrapSearchLabel.addStyleName(RES.styles().checkboxLabel());
optionsPanel.add(wrapSearchLabel);