| |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||||||
StdMenu defines functions on menus. | |||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
Opening a menu. | |||||||||||||||||||||||||||||||||||||||
class Menus mdef where | |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
Closing a menu. | |||||||||||||||||||||||||||||||||||||||
closeMenu :: Id -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
The function closes the specified menu. | |||||||||||||||||||||||||||||||||||||||
Enabling and disabling of the MenuSystem | |||||||||||||||||||||||||||||||||||||||
enableMenuSystem :: GUI ps () | |||||||||||||||||||||||||||||||||||||||
The function enables interaction with menu device. Enabling of the menu device doesn't affect the select state of the individual menus. | |||||||||||||||||||||||||||||||||||||||
disableMenuSystem :: GUI ps () | |||||||||||||||||||||||||||||||||||||||
The function disables interaction with menu device. Disabling of the menu device doesn't affect the select state of the individual menus. | |||||||||||||||||||||||||||||||||||||||
Enabling and disabling of Menus | |||||||||||||||||||||||||||||||||||||||
enableMenus :: [Id] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
The function enables the menus with the specified Ids. When the menu and the corresponding menu device are both enabled then the user can use the menu. | |||||||||||||||||||||||||||||||||||||||
disableMenus :: [Id] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
The function disables the menus with the specified Ids. When the menu or the corresponding menu device are disabled then the user cann't use the menu. | |||||||||||||||||||||||||||||||||||||||
Get the SelectState of a menu | |||||||||||||||||||||||||||||||||||||||
getMenuSelectState :: Id -> GUI ps (Maybe SelectState) | |||||||||||||||||||||||||||||||||||||||
Adding menu elements to (sub/radio)menus | |||||||||||||||||||||||||||||||||||||||
openMenuElements :: MenuElements m => Id -> Index -> ls -> m ls ps -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
dynamically creates additional elements to the specified menu. | |||||||||||||||||||||||||||||||||||||||
openSubMenuElements :: MenuElements m => Id -> Index -> ls -> m ls ps -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
dynamically creates additional elements to the specified sub menu (here the Id is an Id of the sub menu). | |||||||||||||||||||||||||||||||||||||||
openRadioMenuItems :: Id -> Index -> [MenuRadioItem ps ps] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
dynamically creates additional radio menu elements. | |||||||||||||||||||||||||||||||||||||||
Removing menu elements from (sub/radio)menus | |||||||||||||||||||||||||||||||||||||||
closeMenuElements :: Id -> [Id] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
closes the elements with specified Ids from the specified menu. | |||||||||||||||||||||||||||||||||||||||
closeMenuIndexElements :: Id -> [Index] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
closes the elements with specified indexes from the specified menu. | |||||||||||||||||||||||||||||||||||||||
closeSubMenuIndexElements :: Id -> [Index] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
closes the elements with specified indexes from the specified sub menu. | |||||||||||||||||||||||||||||||||||||||
closeRadioMenuIndexElements :: Id -> [Index] -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
closes the radio menu elements with specified indexes from the specified menu. | |||||||||||||||||||||||||||||||||||||||
Determine the Ids of all menus. | |||||||||||||||||||||||||||||||||||||||
getMenus :: GUI ps [Id] | |||||||||||||||||||||||||||||||||||||||
returns the list of ids of all existing menus for the current process. | |||||||||||||||||||||||||||||||||||||||
Determine the index position of a menu. | |||||||||||||||||||||||||||||||||||||||
getMenuPos :: Id -> GUI ps (Maybe Index) | |||||||||||||||||||||||||||||||||||||||
returns the menu item index from the item Id. | |||||||||||||||||||||||||||||||||||||||
Set and get the title of a menu. | |||||||||||||||||||||||||||||||||||||||
setMenuTitle :: Id -> Title -> GUI ps () | |||||||||||||||||||||||||||||||||||||||
sets the menu title. | |||||||||||||||||||||||||||||||||||||||
getMenuTitle :: Id -> GUI ps (Maybe Title) | |||||||||||||||||||||||||||||||||||||||
returns the menu title. | |||||||||||||||||||||||||||||||||||||||
A visible module | |||||||||||||||||||||||||||||||||||||||
module Graphics.UI.ObjectIO.StdMenuDef | |||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 0.8 |