From f7b22a9e898076e8a18b67b5bc2d4ed7ec5ab2ec Mon Sep 17 00:00:00 2001 From: Robert Sesek Date: Sun, 3 Oct 2010 16:23:47 -0400 Subject: [PATCH] Set some properties on the menu button to make the popup menu work better. --- web_frontend/path_control.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/web_frontend/path_control.js b/web_frontend/path_control.js index c0c6b47..66041ab 100644 --- a/web_frontend/path_control.js +++ b/web_frontend/path_control.js @@ -103,6 +103,8 @@ armadillo.PathControl.prototype.createComponentNode_ = function(path, name) { this.fetchMenuContents_(path, name, menu); var button = new goog.ui.MenuButton(name, menu, null, this.dom_); + button.setFocusablePopupMenu(true); + button.setScrollOnOverflow(true); button.setVisible(true); return button; }; -- 2.22.5