RetroSearch Browse

Sun Mar 25 18:37:12 CEST 2012 · https://mail.python.org/pipermail/python-dev/2012-March/118087.html

On 25.03.2012 13:09, Stephen J. Turnbull wrote:
> On Sun, Mar 25, 2012 at 11:04 AM, Stefan Krah <stefan at bytereef.org> wrote:
> 
>> Do you mean a fixed search box like this one?
>>
>> http://coq.inria.fr/documentation
>>
>> Please don't do this, I find scrolling exceptionally distracting in the
>> presence of fixed elements.
> 
> Does it bother you when the header is fixed and contains
> the search box?  I prefer that arrangement, anyway.

I think this idea has some merit.  I'd prefer it to be tried out and implemented
in a second step though (maybe by someone else, even? ;)

Georg

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

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

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