[jbosstools-issues] [JBoss JIRA] (JBIDE-19272) Searching developer.jboss.org and access.redhat.com should be available from Help search
Fred Bricon (JIRA)
issues at jboss.org
Tue Feb 17 09:57:49 EST 2015
[ https://issues.jboss.org/browse/JBIDE-19272?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13040922#comment-13040922 ]
Fred Bricon commented on JBIDE-19272:
-------------------------------------
Reference on search engine extension point http://help.eclipse.org/luna/index.jsp?topic=%2Forg.eclipse.platform.doc.isv%2Freference%2Fextension-points%2Forg_eclipse_help_ui_searchEngine.html
> Searching developer.jboss.org and access.redhat.com should be available from Help search
> ----------------------------------------------------------------------------------------
>
> Key: JBIDE-19272
> URL: https://issues.jboss.org/browse/JBIDE-19272
> Project: Tools (JBoss Tools)
> Issue Type: Enhancement
> Components: central
> Reporter: Max Rydahl Andersen
> Priority: Critical
> Fix For: 4.3.0.Alpha2
>
>
> I *thought* we in past had access.redhat.com wired into eclipse help search similar to the Hibernate wiki search (https://github.com/jbosstools/jbosstools-hibernate/blob/master/plugins/org.hibernate.eclipse.help/plugin.xml#L22)
> It seem to not be there but I think we should add these in.
> At least as basic search engines or even better if we can implement a search lookup so it will actually fetch some results an not just be a single link for a web browser.
--
This message was sent by Atlassian JIRA
(v6.3.11#6341)
More information about the jbosstools-issues
mailing list