*/
private boolean fStickyOccurrenceAnnotations;
- /** Preference key for showing the line number ruler */
- // private final static String LINE_NUMBER_RULER =
- // PreferenceConstants.EDITOR_LINE_NUMBER_RULER;
- /** Preference key for the foreground color of the line numbers */
- // private final static String LINE_NUMBER_COLOR =
- // PreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR;
/** Preference key for the link color */
private final static String LINK_COLOR = PreferenceConstants.EDITOR_LINK_COLOR;
file = ResourcesPlugin.getWorkspace().getRoot().getFile(new Path(fei.getURI().getPath()));
} else {
FileEditorInput fei = (FileEditorInput) getEditorInput();
- file = ResourcesPlugin.getWorkspace().getRoot().getFile(fei.getPath());
+ // added to fix ticket 637
+ file = ResourcesPlugin.getWorkspace().getRoot().getFile(new Path(fei.getURI().getPath()));
}
ShowInContext context = BrowserUtil.getShowInContext(file,
false, "");