| Index: Source/devtools/front_end/platform/utilities.js
|
| diff --git a/Source/devtools/front_end/platform/utilities.js b/Source/devtools/front_end/platform/utilities.js
|
| index 2e2939251e5a93d7558685853e35fa26b6b44af0..7e972bf8de041cd79b1ddb4dc9ee099be5d599ba 100644
|
| --- a/Source/devtools/front_end/platform/utilities.js
|
| +++ b/Source/devtools/front_end/platform/utilities.js
|
| @@ -959,7 +959,10 @@ String.tokenizeFormatString = function(format, formatters)
|
|
|
| function addStringToken(str)
|
| {
|
| - tokens.push({ type: "string", value: str });
|
| + if (tokens.length && tokens[tokens.length - 1].type === "string")
|
| + tokens[tokens.length - 1].value += str;
|
| + else
|
| + tokens.push({ type: "string", value: str });
|
| }
|
|
|
| function addSpecifierToken(specifier, precision, substitutionIndex)
|
|
|