Есть ли способ изменить название одного из представлений Eclipse по умолчанию программным способом?

Question

У меня есть плагин, который использует представление Eclipse «Проблемы», и я действительно хотел бы изменить заголовок на «Ошибки».

Можно ли как-нибудь изменить это программно или я могу расширить представление проблем, не создавая свой собственный вид маркера?

Я знаю, что для изменения заголовка представления вы используете setParName в классе viewPart, но, поскольку я использую одно из представлений Eclipse, у меня нет класса viewPart.

Answer 1

Если у вас есть пользовательская перспектива, вы можете установить имя для представления, добавив его в plugin.xml (вкладка «Расширения» манифеста) вместо пользовательского класса перспективы.

nEm: я просто хотел добавить это, чтобы убедиться, что вы выбираете этот класс, если хотите поведение маркера ошибки

org.eclipse.ui.internal.views.markers.ProblemsView

Так как есть и другой вид проблемы.

Answer 2

Вы можете создать свое собственное определение представления, которое будет очень похоже на представление проблем, создав настраиваемое представление маркеров.

org.eclipse.ui.internal.views.markers.ProblemsView использует генератор маркеров org.eclipse.ui.ide.problemsGenerator . Создав класс, который подклассов org.eclipse.ui.views.markers.MarkerSupportView и предоставляет генератор маркеров, вы можете использовать простое определение вида:

<extension point="org.eclipse.ui.views">
   <view class="com.example.MyErrorView"
         icon="icons/sample.gif"
         id="com.example.myErrorView"
         name="My Error View"/>
</extension>

См. Prakash http://blog.eclipse -tips.com / 2008/11 / creation-custom-marker-view.html от более сложного примера. Использовать значок из другого плагина сложно, потому что нет гарантии, что он останется там, где он есть, но если вы действительно хотите, вы можете использовать

icon="platform:/plugin/org.eclipse.ui.ide/icons/full/eview16/problems_view.gif"

Только примечание, приведенный выше формат не поддерживает изменение NL значка.