Eclipse Tricks and Tips Плагин расширения Точка расширения - PullRequest
0 голосов
/ 21 июня 2019

Мне нужно добавить запись в раздел меню в диалоговом окне помощи Tips and Tricks в eclipse. Для этого я ищу, какую точку расширения из Eclipse использовать. Я использую eclipse 2019-06, и если я обращаюсь к документации, я не вижу точки расширения для этой записи справки:

enter image description here

Документация по Eclipse 2019 здесь здесь .

1 Ответ

1 голос
/ 21 июня 2019

Это не делается с использованием этой точки расширения.

Файл about.ini в «подключаемом модуле» для установленной функции может содержать свойство tipsAndTricksHref, которое дает возможность использовать раздел справки. Например, JDT about.ini содержит:

tipsAndTricksHref=/org.eclipse.jdt.doc.user/tips/jdt_tips.html

Итак, вы должны создать функцию. Затем вы создаете «функциональный плагин» - плагин с тем же идентификатором, что и у функции. About.ini идет в плагине. Файл feature.xml должен содержать список плагинов и другие ваши плагины Вы должны использовать функциональную сборку для сборки RCP.

...