Setting the touch wrench menu as default menu for ChromeOS

ui/views/controls/menu/menu_config.h

Index: ui/views/controls/menu/menu_config.h
diff --git a/ui/views/controls/menu/menu_config.h b/ui/views/controls/menu/menu_config.h
index cce8673d2512c212b2e31430dbbe7e5a07f1cff2..32d26e76434514e163681b5e91b400bf640f2c98 100644
--- a/ui/views/controls/menu/menu_config.h
+++ b/ui/views/controls/menu/menu_config.h
@@ -81,9 +81,18 @@ struct VIEWS_EXPORT MenuConfig {
   // Width of the gutter. Only used if render_gutter is true.
   int gutter_width;
 
-  // Height of the separator.
+  // Height of a normal separator (ui::NORMAL_SEPARATOR).
   int separator_height;
 
+  // Height of a ui::UPPER_SEPARATOR.
+  int separator_upper_height;
+
+  // Height of a ui::LOWER_SEPARATOR.
+  int separator_lower_height;
+
+  // Height of a ui::SPACING_SEPARATOR.
+  int separator_spacing_height;
+
   // Whether or not the gutter should be rendered. The gutter is specific to
   // Vista.
   bool render_gutter;