commit 1db2ebca1ff62a017afbb1ade01d53ffabe35e74
author pfeldman@chromium.org <pfeldman@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc> Mon Jul 09 17:30:38 2012 +0000
committer pfeldman@chromium.org <pfeldman@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc> Mon Jul 09 17:30:38 2012 +0000
tree 0c7509d15658a3b6a6b92ea26032796d9487ddf3
parent daf5cf0197534e6db3a1ccc79bd95cb87457bf56

Web Inspector: unindent line ending block upon { hit.
https://bugs.webkit.org/show_bug.cgi?id=90795

Reviewed by Vsevolod Vlasov.

Added block-start / block-end markup into the highlighter.

* inspector/front-end/SourceCSSTokenizer.js:
(WebInspector.SourceCSSTokenizer.prototype.nextToken):
* inspector/front-end/SourceCSSTokenizer.re2js:
* inspector/front-end/SourceJavaScriptTokenizer.js:
(WebInspector.SourceJavaScriptTokenizer.prototype.nextToken):
* inspector/front-end/SourceJavaScriptTokenizer.re2js:
* inspector/front-end/TextEditor.js:
(WebInspector.TextEditorMainPanel.prototype._applyDomUpdates):
(WebInspector.TextEditorMainPanel.prototype._unindentAfterBlock):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@122114 268f45cc-cd09-0410-ab3c-d52691b4dbfc