return doubleClickStrategy;
}
protected ToolScanner getToolScanner() {
if (scanner == null) {
scanner = new ToolScanner(colorManager);
scanner.setDefaultReturnToken(
new Token(
new TextAttribute(
colorManager.getColor(IToolColorConstants.DEFAULT))));
}