DevTools: New snippet button and icon

third_party/WebKit/Source/devtools/front_end/sources/NavigatorView.js

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 18 matching lines @@
 /**
  * @constructor
  * @extends {WebInspector.VBox}
  * @implements {WebInspector.TargetManager.Observer}
  */
 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);
 
     /** @type {!Map.<!WebInspector.UISourceCode, !WebInspector.NavigatorUISourceCodeTreeNode>} */
     this._uiSourceCodeNodes = new Map();
     /** @type {!Map.<string, !WebInspector.NavigatorFolderTreeNode>} */
     this._subfolderNodes = new Map();
 
     this._rootNode = new WebInspector.NavigatorRootTreeNode(this);
     this._rootNode.populate();
@@ skipping 1629 matching lines @@
      */
     setTitle: function(title)
     {
         this._title = title;
         if (this._treeElement)
             this._treeElement.title = this._title;
     },
 
     __proto__: WebInspector.NavigatorTreeNode.prototype
 }