RetroSearch Browse

Sun Mar 25 11:10:21 CEST 2012 · https://mail.python.org/pipermail/python-dev/2012-March/118067.html

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

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2012-March/118067.html below:

[Python-Dev] Playing with a new theme for the docs, iteration 2