On 25.03.2012 13:09, Stephen J. Turnbull wrote: > On Sun, Mar 25, 2012 at 11:04 AM, Stefan Krah <ste...@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 _______________________________________________ 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