mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-08 08:45:44 +02:00
Code Issues Wiki Activity

Fix for bug 133851 - CDT editor does not use SelectMarkerRulerAction

Browse source
This commit is contained in:
Anton Leherbauer 2006-07-21 10:50:59 +00:00
parent 0dc7c73bca
commit 894657561b
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/org.eclipse.cdt.ui/plugin.xml
View file

@ -634,6 +634,12 @@
actionID="RulerDoubleClick"
id="org.eclipse.ui.texteditor.BookmarkRulerAction">
</action>
<action
label="%Dummy.label"
class="org.eclipse.ui.texteditor.SelectRulerAction"
actionID="RulerClick"
id="org.eclipse.ui.texteditor.SelectRulerAction">
</action>
</editorContribution>
</extension>
<extension