Lines Matching full:menus
546 // don't show sub-menus with just disabled actions2740 menus to be implemented in HTML/JavaScript. This is used by \l{http://maps.google.com/}{Google