On Sun, Mar 25, 2012 at 12:04 PM, Stefan Krah <[email protected]> wrote: > Andrew Svetlov <[email protected]> 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 > [email protected] > http://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > http://mail.python.org/mailman/options/python-dev/andrew.svetlov%40gmail.com
-- Thanks, Andrew Svetlov _______________________________________________ Python-Dev mailing list [email protected] http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
