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