Skip to content
Snippets Groups Projects

New editor branch

Merged Markus Krug requested to merge newEditorBranch into master
@@ -88,7 +88,8 @@ public class EditorWarningDrawingStrategy implements IAnnotationDrawingStrategy,
@Override
public void mouseDown(MouseEvent e) {
widget.setSelection(new Point(anno.getBegin(), anno.getEnd()));
//TODO fix this once you finally integrate the guidelines
//widget.setSelection(new Point(anno.getBegin(), anno.getEnd()));
}
@Override
Loading