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

Reply via email to