| Index: Source/devtools/front_end/utilities.js
|
| diff --git a/Source/devtools/front_end/utilities.js b/Source/devtools/front_end/utilities.js
|
| index b71989faf990a879692f2a0b55a2c18d92babcc4..2e220dd8388feffe060d310d595cfedf696b97cc 100644
|
| --- a/Source/devtools/front_end/utilities.js
|
| +++ b/Source/devtools/front_end/utilities.js
|
| @@ -1398,11 +1398,21 @@ var StringSet = function()
|
| this._map = new StringMap();
|
| }
|
|
|
| +/**
|
| + * @param {!Array.<string>} array
|
| + */
|
| +StringSet.fromArray = function(array)
|
| +{
|
| + var result = new StringSet();
|
| + array.forEach(function(item) { result.add(item); });
|
| + return result;
|
| +}
|
| +
|
| StringSet.prototype = {
|
| /**
|
| * @param {string} value
|
| */
|
| - put: function(value)
|
| + add: function(value)
|
| {
|
| this._map.put(value, true);
|
| },
|
|
|