Description Martin Olsson 2005-07-25 05:21:50 EDT

Insert the following snippet inside any Java editor:

public void setActiveEditor(IAction action, IEditorPart targetEditor) {
  if (targetEditor instanceof DUPEditor)
    editor = (DUPEditor) targetEditor;
  /*else
    editor = null; 
    TODO think about this */
}

...and then add /* before the word public so that it becomes:

/*public void setActiveEditor(IAction action, IEditorPart targetEditor) {
  if (targetEditor instanceof DUPEditor)
    editor = (DUPEditor) targetEditor;
  /*else
    editor = null; 
    TODO think about this */
}

Now the "editor" part of "editor = null" will be incorrectly highlighted.