Esempio n. 1
1
  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;
  }
Esempio n. 2
0
  /** 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;
  }