On 5/25/08, Ralph Angenendt <ra+centos at br-online.de> wrote: > Dag Wieers wrote: >> I guess the default really should be text search for most users. > > Alain? > > --- /home/ralph/modern-CentOS/modern-CentOS.py 2008-05-19 > 21:10:02.000000000 +0000 > +++ > /var/www/wiki.centos.org/wiki_instance/data/plugin/theme/modern-CentOS.py > 2008-05-24 18:32:15.000000000 +0000 > @@ -198,10 +198,10 @@ > <input id="searchinput" type="text" name="value" value="%(search_value)s" > size="20" > onfocus="searchFocus(this)" onblur="searchBlur(this)" > onkeyup="searchChange(this)" onchange="searchChange(this)" > alt="Search"> > -<input id="titlesearch" name="titlesearch" type="submit" > - value="%(search_title_label)s" alt="Search Titles"> > <input id="fullsearch" name="fullsearch" type="submit" > value="%(search_full_label)s" alt="Search Full Text"> > +<input id="titlesearch" name="titlesearch" type="submit" > + value="%(search_title_label)s" alt="Search Titles"> > </div> > </form> > <script type="text/javascript"> > > Can you incorporate that Ok. I am going to see that tonight. > into the next version of modern-CentOS (the one > where the borders are back), so that we can put that onto the real wiki > then? Well, what was the margin value that we'll put on there ? We keep the 10% or reduce it to something else ? there was some talk about it but what was the consensus ? Cheers, al.