- Also contains drive-by fix for line number gutter (it should have fixed width matching the maximum line number). - Removes devtools code that has been upstreamed earlier.
Created attachment 49681 [details] [PATCH] Proposed fix.
Comment on attachment 49681 [details] [PATCH] Proposed fix. Why shift and not option/alt? I think option/alt is the more prefered key. Is there another IDE that does this with shift?
(In reply to comment #2) > (From update of attachment 49681 [details]) > Why shift and not option/alt? I think option/alt is the more prefered key. > > Is there another IDE that does this with shift? Not exactly an IDE, but still: http://getfirebug.com/wiki/index.php/Keyboard_and_Mouse_Shortcuts
Committing to http://svn.webkit.org/repository/webkit/trunk ... M WebCore/ChangeLog M WebCore/inspector/front-end/ConsoleView.js M WebCore/inspector/front-end/SourceFrame.js M WebCore/inspector/front-end/textViewer.css M WebKit/chromium/ChangeLog M WebKit/chromium/src/js/DevTools.js Committed r55364