On Mar 11, 2013, at 9:07 PM, Peter Kasting <pkast...@google.com> wrote:

> On Mon, Mar 11, 2013 at 8:54 PM, Shezan Baig <shezbaig...@gmail.com> wrote:
> I feel like I should give some background to this discussion.
> 
> Thanks for this context.  It's helpful.
> 
> So I guess the question boils down to something like: if we have
> changes that are generally useful, but not used in the major WebKit
> applications (i.e. Chrome, Safari, Opera), does it make sense to
> upstream it to WebKit for the benefit of the general community?
> 
> Disclaimer: I'm not the gatekeeper of the WebKit codebase.  Someone like 
> Maciej might be a better judge of this.

I'm not the gatekeeper of the WebKit codebase either! But in this specific 
case, I'd be inclined to ask experts on the editing code (such as Ryosuke and 
Enrica) whether they think it is a good idea and maintainable.

It would also be useful to know whether any existing ports would want to expose 
overtype functionality.

Regards,
Maciej
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Reply via email to