preferencepanel.java

fortran并行计算包

        sdr_NESTING_HEIGHT_FACTOR.setHorizontalAlignment( JTextField.CENTER );
        sdr_NESTING_HEIGHT_FACTOR.setEditable( true );
        super.add( sdr_NESTING_HEIGHT_FACTOR );

        lst_ARROW_ANTIALIASING = new LabeledComboBox( "ARROW_ANTIALIASING" );
        lst_ARROW_ANTIALIASING.addItem( Const.ANTIALIAS_DEFAULT );
        lst_ARROW_ANTIALIASING.addItem( Const.ANTIALIAS_OFF );
        lst_ARROW_ANTIALIASING.addItem( Const.ANTIALIAS_ON );
        lst_ARROW_ANTIALIASING.setToolTipText(
          "Whether to draw arrow with antialiasing lines. Turning this on "
        + "will slow down the canvas drawing by a factor of ~3" );
        super.add( lst_ARROW_ANTIALIASING );

        fld_MIN_WIDTH_TO_DRAG = new LabeledTextField( true,
                                    "MIN_WIDTH_TO_DRAG",
                                    Const.INTEGER_FORMAT );
        fld_MIN_WIDTH_TO_DRAG.setToolTipText(
        "Minimum width in pixel to be considered a dragged operation." );
        fld_MIN_WIDTH_TO_DRAG.setHorizontalAlignment( JTextField.CENTER );
        fld_MIN_WIDTH_TO_DRAG.addSelfDocumentListener();
        fld_MIN_WIDTH_TO_DRAG.setEditable( true );
        super.add( fld_MIN_WIDTH_TO_DRAG );

        fld_CLICK_RADIUS_TO_LINE = new LabeledTextField( true,
                                       "CLICK_RADIUS_TO_LINE",
                                       Const.INTEGER_FORMAT );
        fld_CLICK_RADIUS_TO_LINE.setToolTipText(
        "Radius in pixel for a click to be considered on the arrow." );
        fld_CLICK_RADIUS_TO_LINE.setHorizontalAlignment( JTextField.CENTER );
        fld_CLICK_RADIUS_TO_LINE.addSelfDocumentListener();
        fld_CLICK_RADIUS_TO_LINE.setEditable( true );
        super.add( fld_CLICK_RADIUS_TO_LINE );

        lst_LEFTCLICK_INSTANT_ZOOM = new LabeledComboBox(
                                         "LEFTCLICK_INSTANT_ZOOM" );
        lst_LEFTCLICK_INSTANT_ZOOM.addItem( Boolean.TRUE );
        lst_LEFTCLICK_INSTANT_ZOOM.addItem( Boolean.FALSE );
        lst_LEFTCLICK_INSTANT_ZOOM.setToolTipText(
        "Whether to zoom in immediately after left mouse click on canvas." );
        super.add( lst_LEFTCLICK_INSTANT_ZOOM );

        super.add( Box.createVerticalStrut( 2 * VERTICAL_GAP_HEIGHT ) );

        /*  Options: Timeline zoomable window                     */

        label_panel = new JPanel();
        label_panel.setLayout( new BoxLayout( label_panel, BoxLayout.X_AXIS ) );
            label = new JLabel( "Timeline zoomable window" );
            label.setToolTipText( "Options become effective after return "
                                + "and the Timeline window is redrawn" );
        label_panel.add( Box.createHorizontalStrut( Const.LABEL_INDENTATION ) );
        label_panel.add( label );
        label_panel.add( Box.createHorizontalGlue() );
        label_panel.setAlignmentX( Component.LEFT_ALIGNMENT );
        super.add( label_panel );

        lst_STATE_BORDER = new LabeledComboBox( "STATE_BORDER" );
        lst_STATE_BORDER.addItem( StateBorder.COLOR_RAISED_BORDER );
        lst_STATE_BORDER.addItem( StateBorder.COLOR_LOWERED_BORDER );
        lst_STATE_BORDER.addItem( StateBorder.WHITE_RAISED_BORDER );
        lst_STATE_BORDER.addItem( StateBorder.WHITE_LOWERED_BORDER );
        lst_STATE_BORDER.addItem( StateBorder.WHITE_PLAIN_BORDER );
        lst_STATE_BORDER.addItem( StateBorder.EMPTY_BORDER );
        lst_STATE_BORDER.setToolTipText( "Border style of real states" );
        super.add( lst_STATE_BORDER );

        fld_ARROW_HEAD_LENGTH = new LabeledTextField( true,
                                    "ARROW_HEAD_LENGTH",
                                    Const.INTEGER_FORMAT );
        fld_ARROW_HEAD_LENGTH.setToolTipText(
        "Length of the arrow head in pixel." );
        fld_ARROW_HEAD_LENGTH.setHorizontalAlignment( JTextField.CENTER );
        fld_ARROW_HEAD_LENGTH.addSelfDocumentListener();
        fld_ARROW_HEAD_LENGTH.setEditable( true );
        super.add( fld_ARROW_HEAD_LENGTH );

        fld_ARROW_HEAD_WIDTH = new LabeledTextField( true,
                                   "ARROW_HEAD_WIDTH",
                                   Const.INTEGER_FORMAT );
        fld_ARROW_HEAD_WIDTH.setToolTipText(
        "Width of the arrow head's base in pixel(Even number)." );
        fld_ARROW_HEAD_WIDTH.setHorizontalAlignment( JTextField.CENTER );
        fld_ARROW_HEAD_WIDTH.addSelfDocumentListener();
        fld_ARROW_HEAD_WIDTH.setEditable( true );
        super.add( fld_ARROW_HEAD_WIDTH );

        fld_EVENT_BASE_WIDTH = new LabeledTextField( true,
                                   "EVENT_BASE_WIDTH",
                                   Const.INTEGER_FORMAT );
        fld_EVENT_BASE_WIDTH.setToolTipText(
        "Width of the event triangle's base in pixel(Even number)." );
        fld_EVENT_BASE_WIDTH.setHorizontalAlignment( JTextField.CENTER );
        fld_EVENT_BASE_WIDTH.addSelfDocumentListener();
        fld_EVENT_BASE_WIDTH.setEditable( true );
        super.add( fld_EVENT_BASE_WIDTH );

        super.add( Box.createVerticalStrut( VERTICAL_GAP_HEIGHT ) );

        lst_PREVIEW_STATE_DISPLAY = new LabeledComboBox(
                                        "PREVIEW_STATE_DISPLAY" );
        lst_PREVIEW_STATE_DISPLAY.addItem( PreviewState.FIT_MOST_LEGENDS );
        lst_PREVIEW_STATE_DISPLAY.addItem( PreviewState.OVERLAP_INCLUSION );
        lst_PREVIEW_STATE_DISPLAY.addItem( PreviewState.CUMULATIVE_INCLUSION );
        lst_PREVIEW_STATE_DISPLAY.addItem( PreviewState.OVERLAP_EXCLUSION );
        lst_PREVIEW_STATE_DISPLAY.addItem( PreviewState.CUMULATIVE_EXCLUSION );
        lst_PREVIEW_STATE_DISPLAY.addItem(
                                  PreviewState.CUMULATIVE_EXCLUSION_BASE );
        lst_PREVIEW_STATE_DISPLAY.setToolTipText(
        "Display options for the Preview state." );
        super.add( lst_PREVIEW_STATE_DISPLAY );

        lst_PREVIEW_STATE_BORDER = new LabeledComboBox(
                                       "PREVIEW_STATE_BORDER" );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.COLOR_XOR_BORDER );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.COLOR_RAISED_BORDER );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.COLOR_LOWERED_BORDER );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.WHITE_RAISED_BORDER );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.WHITE_LOWERED_BORDER );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.WHITE_PLAIN_BORDER );
        lst_PREVIEW_STATE_BORDER.addItem( StateBorder.EMPTY_BORDER );
        lst_PREVIEW_STATE_BORDER.setToolTipText(
        "Border style of Preview state." );
        super.add( lst_PREVIEW_STATE_BORDER );

        fld_PREVIEW_STATE_BORDER_W = new LabeledTextField( true,
                                         "PREVIEW_STATE_BORDER_W",
                                         Const.INTEGER_FORMAT );
        fld_PREVIEW_STATE_BORDER_W.setToolTipText(
        "The empty border insets' width in pixel for the Preview state." );
        fld_PREVIEW_STATE_BORDER_W.setHorizontalAlignment( JTextField.CENTER );
        fld_PREVIEW_STATE_BORDER_W.addSelfDocumentListener();
        fld_PREVIEW_STATE_BORDER_W.setEditable( true );
        super.add( fld_PREVIEW_STATE_BORDER_W );

        fld_PREVIEW_STATE_BORDER_H = new LabeledTextField( true,
                                         "PREVIEW_STATE_BORDER_H",
                                         Const.INTEGER_FORMAT );
        fld_PREVIEW_STATE_BORDER_H.setToolTipText(
        "The empty border insets' height in pixel for the Preview state." );
        fld_PREVIEW_STATE_BORDER_H.setHorizontalAlignment( JTextField.CENTER );
        fld_PREVIEW_STATE_BORDER_H.addSelfDocumentListener();
        fld_PREVIEW_STATE_BORDER_H.setEditable( true );
        super.add( fld_PREVIEW_STATE_BORDER_H );

        fld_PREVIEW_STATE_LEGEND_H = new LabeledTextField( true,
                                        "PREVIEW_STATE_LEGEND_H",
                                        Const.INTEGER_FORMAT );
        fld_PREVIEW_STATE_LEGEND_H.setToolTipText(
        "Minimum height of the legend divison in pixel for the Preview state" );
        fld_PREVIEW_STATE_LEGEND_H.setHorizontalAlignment( JTextField.CENTER );
        fld_PREVIEW_STATE_LEGEND_H.addSelfDocumentListener();
        fld_PREVIEW_STATE_LEGEND_H.setEditable( true );
        super.add( fld_PREVIEW_STATE_LEGEND_H );

        fld_PREVIEW_ARROW_LOG_BASE = new LabeledTextField( true,
                                         "PREVIEW_ARROW_LOG_BASE",
                                         Const.INTEGER_FORMAT );
        fld_PREVIEW_ARROW_LOG_BASE.setToolTipText(
          "The logarithmic base of the number of arrows in Preview arrow.\n"
        + "This determines the Preview arrow's width." );
        fld_PREVIEW_ARROW_LOG_BASE.setHorizontalAlignment( JTextField.CENTER );
        fld_PREVIEW_ARROW_LOG_BASE.addSelfDocumentListener();
        fld_PREVIEW_ARROW_LOG_BASE.setEditable( true );
        super.add( fld_PREVIEW_ARROW_LOG_BASE );

        super.add( Box.createVerticalStrut( VERTICAL_GAP_HEIGHT ) );

        fld_SEARCH_ARROW_LENGTH = new LabeledTextField( true,
                                      "SEARCH_ARROW_LENGTH",
                                      Const.INTEGER_FORMAT );
        fld_SEARCH_ARROW_LENGTH.setToolTipText(
        "Length of the search marker's arrow in pixel" );
        fld_SEARCH_ARROW_LENGTH.setHorizontalAlignment( JTextField.CENTER );
        fld_SEARCH_ARROW_LENGTH.addSelfDocumentListener();
        fld_SEARCH_ARROW_LENGTH.setEditable( true );
        super.add( fld_SEARCH_ARROW_LENGTH );

        fld_SEARCH_FRAME_THICKNESS = new LabeledTextField( true,
                                         "SEARCH_FRAME_THICKNESS",
                                         Const.INTEGER_FORMAT );
        fld_SEARCH_FRAME_THICKNESS.setToolTipText(
          "Thickness in pixel of the popup frame that hightlights "
        + "the searched drawable" );
        fld_SEARCH_FRAME_THICKNESS.setHorizontalAlignment( JTextField.CENTER );
        fld_SEARCH_FRAME_THICKNESS.addSelfDocumentListener();
        fld_SEARCH_FRAME_THICKNESS.setEditable( true );
        super.add( fld_SEARCH_FRAME_THICKNESS );

        lst_SEARCHED_OBJECT_ON_TOP = new LabeledComboBox(
                                         "SEARCHED_OBJECT_ON_TOP" );
        lst_SEARCHED_OBJECT_ON_TOP.addItem( Boolean.TRUE );
        lst_SEARCHED_OBJECT_ON_TOP.addItem( Boolean.FALSE );
        lst_SEARCHED_OBJECT_ON_TOP.setToolTipText(
        "Whether to display the searched object on top of the search frame." );
        super.add( lst_SEARCHED_OBJECT_ON_TOP );

        super.add( Box.createVerticalStrut( 2 * VERTICAL_GAP_HEIGHT ) );

        /*  Options: Histogram zoomable window                    */

        label_panel = new JPanel();
        label_panel.setLayout( new BoxLayout( label_panel, BoxLayout.X_AXIS ) );
            label = new JLabel( "Histogram zoomable window" );
            label.setToolTipText( "Options become effective after return "
                                + "and the Histogram window is redrawn" );
        label_panel.add( Box.createHorizontalStrut( Const.LABEL_INDENTATION ) );
        label_panel.add( label );
        label_panel.add( Box.createHorizontalGlue() );
        label_panel.setAlignmentX( Component.LEFT_ALIGNMENT );
        super.add( label_panel );

        lst_HISTOGRAM_ZERO_ORIGIN = new LabeledComboBox(
                                        "HISTOGRAM_ZERO_ORIGIN" );
        lst_HISTOGRAM_ZERO_ORIGIN.addItem( Boolean.TRUE );