Re: [webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-16 Thread Ojan Vafai
This seems fine to me. The most important thing here is standardizing what we ship to the web platform. On Thu, Feb 16, 2012 at 4:44 PM, Aaron Boodman wrote: > Hello again, > > I'd like to revise my proposal on deprecating HTML notifications in > Chrome extensions: I would like to make the featu

Re: [webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-16 Thread Aaron Boodman
Hello again, I'd like to revise my proposal on deprecating HTML notifications in Chrome extensions: I would like to make the feature runtime-enabled, and leave it enabled for Chrome extensions until there is a suitable replacement. Once we have a replacement, we can follow the deprecation plan I s

Re: [webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-13 Thread Maciej Stachowiak
This plan sounds reasonable to me. No disruption of Chrome extensions in the short term, but we would better align with each other and with standards in the longer term. Jon? Regards, Maciej On Feb 9, 2012, at 2:48 PM, Aaron Boodman wrote: > On Wed, Feb 8, 2012 at 7:50 PM, Maciej Stachowiak

Re: [webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-09 Thread Aaron Boodman
On Wed, Feb 8, 2012 at 7:50 PM, Maciej Stachowiak wrote: > > On Feb 8, 2012, at 6:15 PM, Aaron Boodman wrote: > >> On Wed, Feb 8, 2012 at 4:58 PM, Jon Lee wrote: >>> 2. Remove HTML notifications. >>> >>> It has been removed from the spec, and we don't intend on ever supporting >>> HTML notificati

Re: [webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-08 Thread Adam Barth
On Wed, Feb 8, 2012 at 7:50 PM, Maciej Stachowiak wrote: > On Feb 8, 2012, at 6:15 PM, Aaron Boodman wrote: >> On Wed, Feb 8, 2012 at 4:58 PM, Jon Lee wrote: >>> 2. Remove HTML notifications. >>> >>> It has been removed from the spec, and we don't intend on ever supporting >>> HTML notifications.

Re: [webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-08 Thread Maciej Stachowiak
On Feb 8, 2012, at 6:15 PM, Aaron Boodman wrote: > On Wed, Feb 8, 2012 at 4:58 PM, Jon Lee wrote: >> 2. Remove HTML notifications. >> >> It has been removed from the spec, and we don't intend on ever supporting >> HTML notifications. I brought this issue up before; is there an update on >> this

[webkit-dev] Removing HTML notifications from WebKit (Was: Web Notifications API)

2012-02-08 Thread Aaron Boodman
On Wed, Feb 8, 2012 at 4:58 PM, Jon Lee wrote: > 2. Remove HTML notifications. > > It has been removed from the spec, and we don't intend on ever supporting > HTML notifications. I brought this issue up before; is there an update on > this front from any other platforms? HTML notifications are a