// StyledTextHelper.setTopMargin(styledTextHistory,5);
// StyledTextHelper.setRightMargin(styledTextHistory,5);
final Cursor defaultCursor = new Cursor(topComposite.getDisplay(),SWT.CURSOR_ARROW);
final Cursor handCursor = new Cursor(topComposite.getDisplay(),SWT.CURSOR_HAND);
styledTextHistory.setCursor(defaultCursor);
styledTextHistory.addMouseListener(new MouseListener() {
public void mouseUp(MouseEvent e) {
}
public void mouseDown(MouseEvent e) {
Word word = getWordTypeOfEvent(e);
if(word != null) {