Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/sources/NavigatorView.js |
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/NavigatorView.js b/third_party/WebKit/Source/devtools/front_end/sources/NavigatorView.js |
| index 2b58b56eedf70bf609ffcb86efc7f8173806f940..eb0270071edc38c33fd339abbc24e97f83e1e5e4 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/sources/NavigatorView.js |
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/NavigatorView.js |
| @@ -36,8 +36,10 @@ WebInspector.NavigatorView = function() |
| WebInspector.VBox.call(this); |
| this._scriptsTree = new TreeOutlineInShadow(); |
| + this.registerRequiredCSS("sources/navigatorView.css"); |
|
dgozman
2016/10/20 20:19:27
Let's have two separate css files.
einbinder
2016/10/20 20:56:13
Done.
|
| this._scriptsTree.registerRequiredCSS("sources/navigatorView.css"); |
| this._scriptsTree.setComparator(WebInspector.NavigatorView._treeElementsCompare); |
| + this._scriptsTree.element.style.overflowY = "auto"; |
|
dgozman
2016/10/20 20:19:27
CSS in javascript, no-no!
einbinder
2016/10/20 20:56:13
Done.
|
| this.element.appendChild(this._scriptsTree.element); |
| this.setDefaultFocusedElement(this._scriptsTree.element); |