[jbosstools-issues] [JBoss JIRA] (JBIDE-10217) JBoss Central Search location & defaults

[Max Rydahl Andersen (Commented) (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-10217?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12647532#comment-12647532 ] 

Max Rydahl Andersen commented on JBIDE-10217:
---------------------------------------------

Yes, it should be community.

And JBIDE-9839 said:
Search JBoss Community
Search Red Hat Customer Portal

The last comment was to hint that the urls for community.jboss.org might need to change. Not about changing order of Jboss Community and portal.
                
> JBoss Central Search location & defaults
> ----------------------------------------
>
>                 Key: JBIDE-10217
>                 URL: https://issues.jboss.org/browse/JBIDE-10217
>             Project: Tools (JBoss Tools)
>          Issue Type: Feature Request
>          Components: central
>            Reporter: Burr Sutter
>            Assignee: Snjezana Peco
>             Fix For: 3.3.0.M5
>
>         Attachments: jbide-10217.png, Screen Shot 2011-11-22 at 11.19.04 AM.png
>
>
> In my copy of the nightly build 
> http://download.jboss.org/jbosstools/builds/nightly/trunk/latest/all/repo/
> JBoss Central's Search defaults to "Red Hat Customer"
> And since it is on its own line, it takes up valuable real-estate vertically.  The icons on the far right are less important than reclaiming this real-estate.  

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira