return doubleClickStrategy;
}
protected XMLScanner getXMLScanner() {
if (scanner == null) {
scanner = new XMLScanner(colorManager);
scanner.setDefaultReturnToken(
new Token(new TextAttribute(colorManager.getColor(IXMLColorConstants.DEFAULT))));
}
return scanner;
}