| Index: third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| index 9b462083694f1c3a7b0797f5c505f7162305af29..2c29c7111761417a0802611b20fbd3f1cf5c9151 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js
|
| @@ -1256,15 +1256,20 @@ function createRadioLabel(name, title, checked)
|
| /**
|
| * @param {string=} title
|
| * @param {boolean=} checked
|
| + * @param {string=} subtitle
|
| * @return {!Element}
|
| */
|
| -function createCheckboxLabel(title, checked)
|
| +function createCheckboxLabel(title, checked, subtitle)
|
| {
|
| var element = createElement("label", "dt-checkbox");
|
| element.checkboxElement.checked = !!checked;
|
| if (title !== undefined) {
|
| element.textElement = element.createChild("div", "dt-checkbox-text");
|
| element.textElement.textContent = title;
|
| + if (subtitle !== undefined) {
|
| + element.subtitleElement = element.textElement.createChild("div", "dt-checkbox-subtitle");
|
| + element.subtitleElement.textContent = subtitle;
|
| + }
|
| }
|
| return element;
|
| }
|
|
|