this.model = model;
setLayout( new BoxLayout( this, BoxLayout.X_AXIS ) );
vport_list = new ArrayList();
fld_iZoom_level = new LabeledTextField( "Zoom Level ",
Const.INTEGER_FORMAT );
fld_iZoom_level.setEditable( false );
fld_iZoom_level.setHorizontalAlignment( JTextField.CENTER );
add( fld_iZoom_level ); // addSeparator();
fld_tGlobal_min = new LabeledTextField( "Global Min Time",
Const.PANEL_TIME_FORMAT );
fld_tGlobal_min.setEditable( false );
add( fld_tGlobal_min ); // addSeparator();
fld_tView_init = new LabeledTextField( "View Init Time",
Const.PANEL_TIME_FORMAT );
fld_tView_init.setEditable( true );
add( fld_tView_init ); // addSeparator();
fld_tZoom_focus = new LabeledTextField( "Zoom Focus Time",
Const.PANEL_TIME_FORMAT );
fld_tZoom_focus.setEditable( true );
add( fld_tZoom_focus );
fld_tView_final = new LabeledTextField( "View Final Time",
Const.PANEL_TIME_FORMAT );
fld_tView_final.setEditable( true );
add( fld_tView_final ); // addSeparator();
fld_tGlobal_max = new LabeledTextField( "Global Max Time",
Const.PANEL_TIME_FORMAT );
fld_tGlobal_max.setEditable( false );
add( fld_tGlobal_max ); // addSeparator();
fld_time_per_pixel = new LabeledTextField( "Time Per Pixel",
Const.PANEL_TIME_FORMAT );
fld_time_per_pixel.setEditable( true );
add( fld_time_per_pixel ); // addSeparator();
super.setBorder( BorderFactory.createEtchedBorder() );