Docs search improved

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Docs search improved

Georg Brandl-2
The docs search now searches for objects whose name contains the search word
before doing full-text search. Please let me know if it works as expected.


Thus spake the Lord: Thou shalt indent with four spaces. No more, no less.
Four shall be the number of spaces thou shalt indent, and the number of thy
indenting shall be four. Eight shalt thou not indent, nor either indent thou
two, excepting that thou then proceed to four. Tabs are right out.

Doc-SIG maillist  -  [hidden email]