<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Mar 11, 2013, at 9:07 PM, Peter Kasting &lt;<a href="mailto:pkasting@google.com">pkasting@google.com</a>&gt; wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;"><div dir="ltr">On Mon, Mar 11, 2013 at 8:54 PM, Shezan Baig<span class="Apple-converted-space">&nbsp;</span><span dir="ltr">&lt;<a href="mailto:shezbaig.wk@gmail.com" target="_blank">shezbaig.wk@gmail.com</a>&gt;</span><span class="Apple-converted-space">&nbsp;</span>wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;"><div class="im"><span style="color: rgb(34, 34, 34);">I feel like I should give some background to this discussion.</span></div></blockquote><div><br></div><div>Thanks for this context. &nbsp;It's helpful.</div><div><br></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;"><div class="im"><span style="color: rgb(34, 34, 34);">So I guess the question boils down to something like: if we have</span><br></div>changes that are generally useful, but not used in the major WebKit<br>applications (i.e. Chrome, Safari, Opera), does it make sense to<br>upstream it to WebKit for the benefit of the general community?</blockquote><div><br></div><div>Disclaimer: I'm not the gatekeeper of the WebKit codebase. &nbsp;Someone like Maciej might be a better judge of this.</div></div></div></div></div></blockquote><br></div><div>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.</div><div><br></div><div>It would also be useful to know whether any existing ports would want to expose overtype functionality.</div><div><br></div><div>Regards,</div><div>Maciej</div></body></html>