On Sun, Mar 25, 2012 at 12:04 PM, Stefan Krah <stefan at bytereef.org> wrote: > Andrew Svetlov <andrew.svetlov at gmail.com> wrote: >> I like to always see "Quick search" widget without scrolling page to >> top. Is it possible? >> Do you mean a fixed search box like this one? >> http://coq.inria.fr/documentation >No. You are right, it's distracting. Maybe narrow persistent line with searchbox on the top will be better. But just jump to searchbox by shortcut is good enough for me also. >> Please don't do this, I find scrolling exceptionally distracting in the > presence of fixed elements. >>>> Stefan Krah >>> _______________________________________________ > Python-Dev mailing list > Python-Dev at python.org > http://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: http://mail.python.org/mailman/options/python-dev/andrew.svetlov%40gmail.com -- Thanks, Andrew Svetlov