if (widget == mit_CopyLiteral) {
Clipboard clipboard = new Clipboard(e.display);
TextTransfer textTransfer = TextTransfer.getInstance();
clipboard.setContents(new Object[] { regex.getRegExAsLiteral() },
new Transfer[] { textTransfer });
clipboard.dispose();
}
if (widget == mit_mFind || widget == mit_mMatch
|| widget == mit_mReplace || widget == mit_mSplit) {
MenuItem menuItem = (MenuItem) widget;