>>>>> "Abdelrazak" == Abdelrazak Younes <[EMAIL PROTECTED]> writes:
>>> tool? I think a simple, case-insensitive, search-as-type is more >>> than enough and more intuitive. A more powerful search tool dialog >>> could be opened in need of advanced search (via Ctr+F and/or a >>> search button). >> This might well be reasonable. Abdelrazak> Do we have a consensus here? I think. JMarc
