return doubleClickStrategy;
}
protected QVTScanner getQvtScanner() {
if (scanner == null) {
scanner = new QVTScanner(colorManager);
scanner.setDefaultReturnToken(new Token(new TextAttribute(
colorManager.getColor(IQVTColorConstants.DEFAULT))));
}
return scanner;
}