Package: gio
Function gio:menu-remove
Lambda Listgio:menu-remove (menu pos) ArgumentsDetails
Removes an item from the menu. The pos argument gives the index of the menu item to remove. It is an error if pos is not in the range from 0 to one less than the number of
menu items in the menu. It is not possible to remove items by identity since items are added to the menu simply by copying their links and attributes, that is, identity of the menu item itself is not preserved. | See also |
2024-12-30