protected JPanel createShowResultPanel() {
JPanel panel = new JPanel(new GridBagLayout());
panel.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createEtchedBorder(), resources.getString("ShowResultPanel.title")));
ExtendedGridBagConstraints gbc = new ExtendedGridBagConstraints();
gbc.insets = new Insets(2, 2, 2, 2);
gbc.anchor = ExtendedGridBagConstraints.WEST;
gbc.fill = ExtendedGridBagConstraints.NONE;
gbc.setWeight(0, 0);
ButtonGroup grp = new ButtonGroup();
highlightButton = buttonFactory.createJRadioButton("Highlight");
highlightButton.setSelected(true);
grp.add(highlightButton);
gbc.setGridBounds(0, 0, 1, 1);
panel.add(highlightButton, gbc);
highlightCenterButton = buttonFactory.createJRadioButton("HighlightAndCenter");
grp.add(highlightCenterButton);
gbc.setGridBounds(0, 1, 1, 1);
panel.add(highlightCenterButton, gbc);
highlightCenterZoomButton = buttonFactory.createJRadioButton("HighlightCenterAndZoom");
grp.add(highlightCenterZoomButton);
gbc.setGridBounds(0, 2, 1, 1);
panel.add(highlightCenterZoomButton, gbc);
return panel;
}
/** Creates the buttons panel */
protected JPanel createButtonsPanel() {
JPanel panel = new JPanel(new FlowLayout(FlowLayout.RIGHT));
panel.add(findButton = buttonFactory.createJButton("FindButton"));
panel.add(clearButton = buttonFactory.createJButton("ClearButton"));
panel.add(closeButton = buttonFactory.createJButton("CloseButton"));
return panel;
}
/** Creates the Find panel. */
protected JPanel createFindPanel() {
JPanel panel = new JPanel(new GridBagLayout());
panel.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createEtchedBorder(), resources.getString("Panel.title")));
ExtendedGridBagConstraints gbc = new ExtendedGridBagConstraints();
gbc.insets = new Insets(2, 2, 2, 2);
gbc.anchor = ExtendedGridBagConstraints.EAST;
gbc.fill = ExtendedGridBagConstraints.NONE;
gbc.setWeight(0, 0);
gbc.setGridBounds(0, 0, 1, 1);
panel.add(new JLabel(resources.getString("FindLabel.text")), gbc);
gbc.fill = ExtendedGridBagConstraints.HORIZONTAL;
gbc.setWeight(1.0, 0);
gbc.setGridBounds(1, 0, 2, 1);
panel.add(search = new JTextField(20), gbc);
gbc.fill = ExtendedGridBagConstraints.NONE;
gbc.anchor = ExtendedGridBagConstraints.WEST;
gbc.setWeight(0, 0);
gbc.setGridBounds(1, 1, 1, 1);
caseSensitive = buttonFactory.createJCheckBox("CaseSensitiveCheckBox");
panel.add(caseSensitive, gbc);
return panel;
}