Rudolf Adamkovič <[email protected]> writes:

> Yoni Rabkin <[email protected]> writes:
>
>> I don't use the browser, but this makes a lot of sense to me. I went
>> ahead and made this modification.
>
> Works great, thank you!
>
> This also frees the space key to play/pause, as seen in virtually all
> the other audio/video players in the world.  :)

Do other people who use the browser (I don't) have a position on this?
It seems like this is likely to make new people happier but confuse and
frustrate long-time users.

Should this be simply a documented option?

-- 
   "Cut your own wood and it will warm you twice"

Reply via email to