[CentOS-docs] Searching the wiki

[Alain Reguera Delgado]

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.