| ActionEvent.CTRL_MASK)) != 0);
}
+ @Override
+ protected void copyHighlightedColumns_actionPerformed(
+ ActionEvent actionEvent)
+ {
+ avc.copyHighlightedRegionsToClipboard();
+ }
+
/**
* Rebuilds the Colour menu, including any user-defined colours which have
* been loaded either on startup or during the session