On Mon, Jun 13, 2011 at 12:15 PM, Ojan Vafai <[email protected]> wrote: > On Mon, Jun 13, 2011 at 12:00 PM, Ryosuke Niwa <[email protected]> wrote: >> On Mon, Jun 13, 2011 at 11:55 AM, Adam Barth <[email protected]> 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. Adam _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
