MenuManager.setAttributeString
void setAttributeString(gio.menu.Menu menu, uint position, string attribute, string value)Overwrites an attribute for a menu that was created by #PanelMenuManager.
This can be useful when you want to update an attribute such as "accel" when an accelerator has changed due to user mappings.
Parameters
menu | the menu that was retreived with panel.menu_manager.MenuManager.getMenuById |
position | the index of the item in the menu |
attribute | the attribute to change |
value | the new value for the attribute |