Chromium Code Reviews Chromium Code Reviews
Issue 10656034:
Show override indicator. (Closed)
Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart| Index: editor/tools/plugins/com.google.dart.tools.ui/plugin.xml |
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml b/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml |
| index 756a266228687cf1fc49bd063d245199a333e4b9..0ad81fc4e3c76fdacef90b8c314b66e32b95d215 100644 |
| --- a/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml |
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/plugin.xml |
| @@ -474,6 +474,27 @@ |
| </editor> |
| </extension> |
| + <extension |
| + point="org.eclipse.ui.editorActions"> |
| + <editorContribution |
| + targetID="com.google.dart.tools.ui.text.editor.CompilationUnitEditor" |
| + id="com.google.dart.tools.ui.text.editor.CompilationUnitEditor.ruler.actions"> |
| + <!--<action |
| + label="%BookmarkRulerAction.label" |
| + helpContextId="org.eclipse.ui.bookmark_action_context" |
| + class="org.eclipse.ui.texteditor.BookmarkRulerAction" |
| + actionID="RulerDoubleClick" |
| + id="org.eclipse.jdt.internal.ui.javaeditor.BookmarkRulerAction"> |
| + </action>--> |
|
pquitslund
2012/06/26 04:03:01
Can we remove this (albeit commented out) JDT refe
scheglov
2012/06/26 14:35:12
From the rest of this file it looks for me that ou
|
| + <action |
| + label="%JavaSelectRulerAction.label" |
|
pquitslund
2012/06/26 04:03:01
%DartSelectRulerAction.label?
scheglov
2012/06/26 14:35:12
Done.
|
| + class="com.google.dart.tools.ui.internal.text.editor.DartSelectRulerAction" |
| + actionID="RulerClick" |
| + id="com.google.dart.tools.ui.internal.text.editor.DartSelectRulerAction"> |
| + </action> |
| + </editorContribution> |
| + </extension> |
| + |
| <extension |
| point="org.eclipse.ui.themes"> |
| <themeElementCategory label="%javaPresentation.label" id="org.eclipse.wst.jsdt.ui.presentation"/> |
