RE: Mave site search box
Now, that is a big box!!! Isn't there a way to make the Google logo a bit smaller? (I guess there are legals considerations there). For the design part, I would prefer 2 separate boxes for search and download. Would it be possible to add a radio button to include search in the mojo.codehaus.org domain (in addition to maven.apache.org)? (same comment posted in JIRA, as I don't know wether discussion will take place here or there). Denis. -Message d'origine- De : Pete Marvin King [mailto:[EMAIL PROTECTED] Envoyé : mercredi 2 août 2006 09:13 À : Maven Developers List Objet : Mave site search box Hello All, There was discussion on the list about putting a search box in the maven site index page. I gave it a shot, here's the sample page http://jira.codehaus.org/secure/attachment/21969/index.html Please post your feedback in the issue : http://jira.codehaus.org/browse/MNG-2471 Thanks, pete marvin - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: Mave site search box
Tried that suggestion. I'm not sure if we're allowed to remove the google logo. Thanks for the feedback. pete marvin Cabasson Denis wrote: Now, that is a big box!!! Isn't there a way to make the Google logo a bit smaller? (I guess there are legals considerations there). For the design part, I would prefer 2 separate boxes for search and download. Would it be possible to add a radio button to include search in the mojo.codehaus.org domain (in addition to maven.apache.org)? (same comment posted in JIRA, as I don't know wether discussion will take place here or there). Denis. -Message d'origine- De : Pete Marvin King [mailto:[EMAIL PROTECTED] Envoyé : mercredi 2 août 2006 09:13 À : Maven Developers List Objet : Mave site search box Hello All, There was discussion on the list about putting a search box in the maven site index page. I gave it a shot, here's the sample page http://jira.codehaus.org/secure/attachment/21969/index.html Please post your feedback in the issue : http://jira.codehaus.org/browse/MNG-2471 Thanks, pete marvin - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: Mave site search box
Can't you do like in m1 : http://maven.apache.org/maven-1.x/plugins/bundled/ Arnaud On 8/2/06, Pete Marvin King [EMAIL PROTECTED] wrote: Tried that suggestion. I'm not sure if we're allowed to remove the google logo. Thanks for the feedback. pete marvin Cabasson Denis wrote: Now, that is a big box!!! Isn't there a way to make the Google logo a bit smaller? (I guess there are legals considerations there). For the design part, I would prefer 2 separate boxes for search and download. Would it be possible to add a radio button to include search in the mojo.codehaus.org domain (in addition to maven.apache.org)? (same comment posted in JIRA, as I don't know wether discussion will take place here or there). Denis. -Message d'origine- De : Pete Marvin King [mailto:[EMAIL PROTECTED] Envoyé : mercredi 2 août 2006 09:13 À : Maven Developers List Objet : Mave site search box Hello All, There was discussion on the list about putting a search box in the maven site index page. I gave it a shot, here's the sample page http://jira.codehaus.org/secure/attachment/21969/index.html Please post your feedback in the issue : http://jira.codehaus.org/browse/MNG-2471 Thanks, pete marvin - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
