// Copy selection
// install an action to copy selected test; must be "installed" around
// the selection highlighter (caret) we just created
CopyAction copyAction = new SelectionHighlighter.CopyAction();
copyAction.install(caret);
actionPanel.add(new JButton(copyAction), BorderLayout.SOUTH);
add(mainPanel);
pack();