+ @Override
+ protected void copyToClipboard_actionPerformed()
+ {
+ if (searchResults.isEmpty())
+ {
+ return; // shouldn't happen
+ }
+ // assume viewport controller has same searchResults as we do...
+ ap.alignFrame.avc.copyHighlightedRegionsToClipboard();
+ }
+