diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java index 65f9467e92c..497865c87fa 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java @@ -1860,7 +1860,7 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit return false; return getInformationPresenter().openFocusedAnnotationHover(annotationHover, line); - } + } /** * Returns the information presenter (creates it if necessary). @@ -3174,16 +3174,16 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit } catch (InvocationTargetException x) { Throwable t= x.getTargetException(); if (t instanceof CoreException) { - /* - /* XXX: Remove unpacking of CoreException once the following bug is - * fixed: https://bugs.eclipse.org/bugs/show_bug.cgi?id=81640 - */ - CoreException e= (CoreException)t; - IStatus status= e.getStatus(); - if (status.getException() != null) - throw new PartInitException(status); - throw new PartInitException(new Status(status.getSeverity(), status.getPlugin(), status.getCode(), status.getMessage(), t)); - } + /* + /* XXX: Remove unpacking of CoreException once the following bug is + * fixed: https://bugs.eclipse.org/bugs/show_bug.cgi?id=81640 + */ + CoreException e= (CoreException)t; + IStatus status= e.getStatus(); + if (status.getException() != null) + throw new PartInitException(status); + throw new PartInitException(new Status(status.getSeverity(), status.getPlugin(), status.getCode(), status.getMessage(), t)); + } throw new PartInitException(new Status(IStatus.ERROR, TextEditorPlugin.PLUGIN_ID, IStatus.OK, EditorMessages.Editor_error_init, t)); } } @@ -3685,14 +3685,14 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit } /** - * Tells whether the editor input should be included when adding object - * contributions to this editor's context menu. - * <p> - * This implementation always returns <code>true</code>. - * </p> - * + * Tells whether the editor input should be included when adding object + * contributions to this editor's context menu. + * <p> + * This implementation always returns <code>true</code>. + * </p> + * * @return <code>true</code> if the editor input should be considered - * @since 3.2 + * @since 3.2 */ protected boolean isEditorInputIncludedInContextMenu() { return true; @@ -6050,11 +6050,11 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit * @param newGroup the new group */ protected final void addGroup(IMenuManager menu, String existingGroup, String newGroup) { - IMenuManager subMenu= menu.findMenuUsingPath(existingGroup); - if (subMenu != null) - subMenu.add(new Separator(newGroup)); - else - menu.appendToGroup(existingGroup, new Separator(newGroup)); + IMenuManager subMenu= menu.findMenuUsingPath(existingGroup); + if (subMenu != null) + subMenu.add(new Separator(newGroup)); + else + menu.appendToGroup(existingGroup, new Separator(newGroup)); } /** @@ -6596,7 +6596,7 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit styledText.setCaret(fNonDefaultCaret); fNonDefaultCaretImage= fNonDefaultCaret.getImage(); } else if (fInitialCaret != styledText.getCaret()) - styledText.setCaret(fInitialCaret); + styledText.setCaret(fInitialCaret); } private void disposeNonDefaultCaret() { |