| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2010 Google Inc. All rights reserved. | 2 * Copyright (C) 2010 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 19 matching lines...) Expand all Loading... |
| 30 | 30 |
| 31 /** | 31 /** |
| 32 * @constructor | 32 * @constructor |
| 33 * @param {string} mimeType | 33 * @param {string} mimeType |
| 34 * @param {boolean} stripExtraWhitespace | 34 * @param {boolean} stripExtraWhitespace |
| 35 */ | 35 */ |
| 36 WebInspector.DOMSyntaxHighlighter = function(mimeType, stripExtraWhitespace) | 36 WebInspector.DOMSyntaxHighlighter = function(mimeType, stripExtraWhitespace) |
| 37 { | 37 { |
| 38 this._mimeType = mimeType; | 38 this._mimeType = mimeType; |
| 39 this._stripExtraWhitespace = stripExtraWhitespace; | 39 this._stripExtraWhitespace = stripExtraWhitespace; |
| 40 } | 40 }; |
| 41 | 41 |
| 42 WebInspector.DOMSyntaxHighlighter.prototype = { | 42 WebInspector.DOMSyntaxHighlighter.prototype = { |
| 43 /** | 43 /** |
| 44 * @param {string} content | 44 * @param {string} content |
| 45 * @param {string} className | 45 * @param {string} className |
| 46 * @return {!Element} | 46 * @return {!Element} |
| 47 */ | 47 */ |
| 48 createSpan: function(content, className) | 48 createSpan: function(content, className) |
| 49 { | 49 { |
| 50 var span = createElement("span"); | 50 var span = createElement("span"); |
| (...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 101 return; | 101 return; |
| 102 | 102 |
| 103 if (column > plainTextStart) { | 103 if (column > plainTextStart) { |
| 104 var plainText = line.substring(plainTextStart, column); | 104 var plainText = line.substring(plainTextStart, column); |
| 105 node.createTextChild(plainText); | 105 node.createTextChild(plainText); |
| 106 } | 106 } |
| 107 node.appendChild(this.createSpan(token, tokenType)); | 107 node.appendChild(this.createSpan(token, tokenType)); |
| 108 plainTextStart = newColumn; | 108 plainTextStart = newColumn; |
| 109 } | 109 } |
| 110 } | 110 } |
| 111 } | 111 }; |
| OLD | NEW |