From e8260482d90006d0715b559fcda2a179d4f28595 Mon Sep 17 00:00:00 2001 From: Anton Leherbauer Date: Thu, 18 Dec 2008 13:44:43 +0000 Subject: [PATCH] Bug 244054 - Makefile editor: cannot add bookmarks --- .../org.eclipse.cdt.make.ui/plugin.properties | 6 ++++++ build/org.eclipse.cdt.make.ui/plugin.xml | 20 +++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/build/org.eclipse.cdt.make.ui/plugin.properties b/build/org.eclipse.cdt.make.ui/plugin.properties index 459ea64ef8e..764eb02cce5 100644 --- a/build/org.eclipse.cdt.make.ui/plugin.properties +++ b/build/org.eclipse.cdt.make.ui/plugin.properties @@ -87,3 +87,9 @@ Make.targets.menu=Make targets # Makefile compare font makeCompareFontDefinition.label= Makefile compare text font makeCompareFontDefinition.description= The Makefile compare text font is used by Makefile compare/merge tools. + +# Common Editor ruler actions +AddTask.label=Add &Task... +AddTask.tooltip=Add Task... +AddBookmark.label=Add Boo&kmark... +AddBookmark.tooltip=Add Bookmark... diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml index 1cf3d34177f..d05eb8751a4 100644 --- a/build/org.eclipse.cdt.make.ui/plugin.xml +++ b/build/org.eclipse.cdt.make.ui/plugin.xml @@ -100,6 +100,26 @@ + + + + + +