On Tue, Jul 7, 2009 at 2:31 AM, Aryeh
Gregor<Simetrical+wikilist(a)gmail.com> wrote:
[snip]
installed. Even at worst, it won't be
noticeably inferior to the
current situation for these users, and there are other benefits (no
need to load Cortado at all, no custom interface).
I'm not sure how you think it currently works but there is currently
zero need to load cortado for HTML5 supporting browsers.
Unless they don't have Ogg support. :)
*cough Safari cough*
But if they do, yes; our JS won't bother bringing up the Java applet if
it's got native support available.
-- brion