[jbosstools-issues] [JBoss JIRA] (JBIDE-10217) JBoss Central Search location & defaults
[
https://issues.jboss.org/browse/JBIDE-10217?page=com.atlassian.jira.plugi...
]
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