//getViewSite().getActionBars().getMenuManager().add(registerAction);
getViewSite().getActionBars().getMenuManager().add(aboutAction);
}
public void selectNextMatch() {
Match match = regex.getMatches().nextMatch();
if (match != null) {
StyledText searchText = txt_SearchText;
StyledText resultText = txt_Result;
searchText.setSelection(match.getStart(), match.getEnd());
String resultStr = resultText.getText();
Pattern patt = Pattern.compile("start=" + match.getStart()
+ ", end=" + match.getEnd());
Matcher matcher = patt.matcher(resultStr);
if (matcher.find()) {
resultText.setSelection(matcher.start(), matcher.end());
}
}