builder.addFixed( replaceButton );
builder.addRelatedGap();
replaceAllButton = new JButton( new ReplaceAllAction() );
builder.addFixed( replaceAllButton );
builder.addUnrelatedGap();
builder.addFixed( new JButton( new CloseAction() ) );
builder.setBorder( BorderFactory.createEmptyBorder( 8, 8, 8, 8 ) );
// tie it up!
panel.add( inputPanel, BorderLayout.NORTH );
panel.add( options, BorderLayout.CENTER );