[webkit-dev] bugs.webkit.org UI housekeeping

Adam Barth abarth at webkit.org
Mon Jun 13 12:19:51 PDT 2011

On Mon, Jun 13, 2011 at 12:15 PM, Ojan Vafai <ojan at chromium.org> wrote:
> On Mon, Jun 13, 2011 at 12:00 PM, Ryosuke Niwa <rniwa at webkit.org> wrote:
>> On Mon, Jun 13, 2011 at 11:55 AM, Adam Barth <abarth at webkit.org> wrote:
>>> It would be nice to be able to select the code without selecting the
>>> line numbers.  (I always need to edit them out manually when I paste
>>> anyway.)  I suspect that's going to be somewhat tricky because you'll
>>> need to restructure the DOM.  Maybe there's a fancy way to do that
>>> with CSS instead?
>> I like this idea.
> I'm not 100%, but I think this is doable without too much rejiggering. I
> would also prefer not selecting line numbers, but we intentionally didn't do
> this because some people specifically want to select the line numbers (e.g.
> for pasting into the review box).

I suspect that's not as common as it used to be.


More information about the webkit-dev mailing list