DevTools: add a navigator menu with grouping options.

third_party/WebKit/Source/devtools/front_end/ui/Toolbar.js

 /*
  * Copyright (C) 2009 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 597 matching lines @@
                 }
             }
         }
     }
 }
 
 /**
  * @constructor
  * @extends {WebInspector.ToolbarButton}
  * @param {function(!WebInspector.ContextMenu)} contextMenuHandler
+ * @param {boolean=} useSoftMenu
  */
-WebInspector.ToolbarMenuButton = function(contextMenuHandler)
+WebInspector.ToolbarMenuButton = function(contextMenuHandler, useSoftMenu)
 {
     WebInspector.ToolbarButton.call(this, "", "menu-toolbar-item");
     this._contextMenuHandler = contextMenuHandler;
+    this._useSoftMenu = !!useSoftMenu;
 }
 
 WebInspector.ToolbarMenuButton.prototype = {
     /**
      * @override
      * @param {!Event} event
      */
     _clicked: function(event)
     {
         var contextMenu = new WebInspector.ContextMenu(event,
-            false,
+            this._useSoftMenu,
             this.element.totalOffsetLeft(),
             this.element.totalOffsetTop() + this.element.offsetHeight);
         this._contextMenuHandler(contextMenu);
         contextMenu.show();
     },
 
     __proto__: WebInspector.ToolbarButton.prototype
 }
 
 /**
@@ skipping 283 matching lines @@
             for (var i = 0; i < items.length; ++i) {
                 var item = items[i];
                 if (item)
                     this.appendToolbarItem(item);
             }
         }
     },
 
     __proto__: WebInspector.Toolbar.prototype
 }