Searched refs:plugin (Results 1 – 2 of 2) sorted by relevance
1686 # generated, together with the HTML files, they form an Eclipse help plugin. To1687 # install this plugin and make it available under the help contents menu in1697 # A unique identifier for the Eclipse help plugin. When installing the plugin
10 …plugin)[e])&&((o=[t].concat(i||[])).push(a.options),!1===s.apply(r,o)))return!1;return!0},descript… property