forward_btn.setMargin( btn_insets );
forward_btn.setToolTipText( "Scroll Forward by half a screen" );
forward_btn.setMnemonic( KeyEvent.VK_RIGHT );
// forward_btn.setPreferredSize( btn_dim );
forward_btn.addActionListener(
new ActionVportForward( time_scrollbar ) );
super.add( forward_btn );
super.addSeparator( mini_separator_size );
// icon_URL = getURL( Const.IMG_PATH + "Undo24.gif" );