| Index: third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js b/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| index 452dd4a0bca894486813aa70803f99d61ab08c7a..985e84b275fa816f5441d535844307667214d93a 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/SettingsUI.js
|
| @@ -28,7 +28,7 @@
|
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
| */
|
|
|
| -WebInspector.SettingsUI = {}
|
| +WebInspector.SettingsUI = {};
|
|
|
| /**
|
| * @param {string} name
|
| @@ -53,7 +53,7 @@ WebInspector.SettingsUI.createSettingCheckbox = function(name, setting, omitPara
|
| var p = createElement("p");
|
| p.appendChild(label);
|
| return p;
|
| -}
|
| +};
|
|
|
| /**
|
| * @param {!Element} input
|
| @@ -75,7 +75,7 @@ WebInspector.SettingsUI.bindCheckbox = function(input, setting)
|
| setting.set(input.checked);
|
| }
|
| input.addEventListener("change", inputChanged, false);
|
| -}
|
| +};
|
|
|
| /**
|
| * @param {string} name
|
| @@ -89,7 +89,7 @@ WebInspector.SettingsUI.createCustomSetting = function(name, element)
|
| fieldsetElement.createChild("label").textContent = name;
|
| fieldsetElement.appendChild(element);
|
| return p;
|
| -}
|
| +};
|
|
|
| /**
|
| * @param {!WebInspector.Setting} setting
|
| @@ -106,18 +106,18 @@ WebInspector.SettingsUI.createSettingFieldset = function(setting)
|
| {
|
| fieldset.disabled = !setting.get();
|
| }
|
| -}
|
| +};
|
|
|
| /**
|
| * @interface
|
| */
|
| WebInspector.SettingUI = function()
|
| {
|
| -}
|
| +};
|
|
|
| WebInspector.SettingUI.prototype = {
|
| /**
|
| * @return {?Element}
|
| */
|
| settingElement: function() { }
|
| -}
|
| +};
|
|
|