| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/htmleditor/HtmlFileEditor.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/htmleditor/HtmlFileEditor.java (revision 1624)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/htmleditor/HtmlFileEditor.java (working copy)
|
| @@ -1,11 +1,11 @@
|
| /*
|
| * Copyright (c) 2011, the Dart project authors.
|
| - *
|
| + *
|
| * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
|
| * in compliance with the License. You may obtain a copy of the License at
|
| - *
|
| + *
|
| * http://www.eclipse.org/legal/epl-v10.html
|
| - *
|
| + *
|
| * Unless required by applicable law or agreed to in writing, software distributed under the License
|
| * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
|
| * or implied. See the License for the specific language governing permissions and limitations under
|
| @@ -14,6 +14,7 @@
|
| package com.google.dart.tools.ui.internal.htmleditor;
|
|
|
| import org.eclipse.jface.action.IMenuManager;
|
| +import org.eclipse.ui.IFileEditorInput;
|
| import org.eclipse.ui.editors.text.TextEditor;
|
| import org.eclipse.ui.texteditor.ITextEditorActionConstants;
|
|
|
| @@ -33,6 +34,19 @@
|
| }
|
|
|
| @Override
|
| + public String getTitleToolTip() {
|
| + if (getEditorInput() instanceof IFileEditorInput) {
|
| + IFileEditorInput input = (IFileEditorInput) getEditorInput();
|
| +
|
| + if (input.getFile().getLocation() != null) {
|
| + return input.getFile().getLocation().toFile().toString();
|
| + }
|
| + }
|
| +
|
| + return super.getTitleToolTip();
|
| + }
|
| +
|
| + @Override
|
| protected void editorContextMenuAboutToShow(IMenuManager menu) {
|
| // Cut/Copy/Paste actions..
|
| addAction(menu, ITextEditorActionConstants.UNDO);
|
| @@ -58,4 +72,5 @@
|
| // Remove the Preferences menu item
|
| menu.remove(ITextEditorActionConstants.RULER_PREFERENCES);
|
| }
|
| +
|
| }
|
|
|