GI.Gio.Objects.MenuModel

MenuModel represents the contents of a menu -- an ordered list of menu items. The items are associated with actions, which can be activated through them. Items can be grouped in sections, and may have submenus associated with them. Both items and sections usually have some representation data, such as labels or icons. The type of the associated action (ie whether it is stateful, and what kind of state it has) can influence the representation of the item.

The conceptual model of menus in MenuModel is hierarchical: sections and submenus are again represented by GMenuModels. Menus themselves do not define their own roles. Rather, the role of a particular MenuModel is defined by the item that references it (or, in the case of the 'root' menu, is defined by the context in which it is used).

As an example, consider the visible portions of this menu:

# {menu-example}

There are 8 "menus" visible in the screenshot: one menubar, two submenus and 5 sections:

• the toplevel menubar (containing 4 items)
• the View submenu (containing 3 sections)
• the first section of the View submenu (containing 2 items)
• the second section of the View submenu (containing 1 item)
• the final section of the View submenu (containing 1 item)
• the Highlight Mode submenu (containing 2 sections)
• the Sources section (containing 2 items)
• the Markup section (containing 2 items)

The [example][menu-model] illustrates the conceptual connection between these 8 menus. Each large block in the figure represents a menu and the smaller blocks within the large block represent items in that menu. Some items contain references to other menus.

# {menu-model}

Notice that the separators visible in the [example][menu-example] appear nowhere in the [menu model][menu-model]. This is because separators are not explicitly represented in the menu model. Instead, a separator is inserted between any two non-empty sections of a menu. Section items can have labels just like any other item. In that case, a display system may show a section header instead of a separator.

The motivation for this abstract model of application controls is that modern user interfaces tend to make these controls available outside the application. Examples include global menus, jumplists, dash boards, etc. To support such uses, it is necessary to 'export' information about actions and their representation in menus, which is exactly what the [GActionGroup exporter][gio-GActionGroup-exporter] and the [GMenuModel exporter][gio-GMenuModel-exporter] do for ActionGroup and MenuModel. The client-side counterparts to make use of the exported information are DBusActionGroup and DBusMenuModel.

The API of MenuModel is very generic, with iterators for the attributes and links of an item, see menuModelIterateItemAttributes and menuModelIterateItemLinks. The 'standard' attributes and link types have predefined names: MENU_ATTRIBUTE_LABEL, MENU_ATTRIBUTE_ACTION, MENU_ATTRIBUTE_TARGET, MENU_LINK_SECTION and MENU_LINK_SUBMENU.

Items in a MenuModel represent active controls if they refer to an action that can get activated when the user interacts with the menu item. The reference to the action is encoded by the string id in the MENU_ATTRIBUTE_ACTION attribute. An action id uniquely identifies an action in an action group. Which action group(s) provide actions depends on the context in which the menu model is used. E.g. when the model is exported as the application menu of a GtkApplication, actions can be application-wide or window-specific (and thus come from two different action groups). By convention, the application-wide actions have names that start with "app.", while the names of window-specific actions start with "win.".

While a wide variety of stateful actions is possible, the following is the minimum that is expected to be supported by all users of exported menu information:

• an action with no parameter type and no state
• an action with no parameter type and boolean state
• an action with string parameter type and string state

Stateless

A stateless action typically corresponds to an ordinary menu item.

Selecting such a menu item will activate the action (with no parameter).

Boolean State

An action with a boolean state will most typically be used with a "toggle" or "switch" menu item. The state can be set directly, but activating the action (with no parameter) results in the state being toggled.

Selecting a toggle menu item will activate the action. The menu item should be rendered as "checked" when the state is true.

String Parameter and State

Actions with string parameters and state will most typically be used to represent an enumerated choice over the items available for a group of radio menu items. Activating the action with a string parameter is equivalent to setting that parameter as the state.

Radio menu items, in addition to being associated with the action, will have a target value. Selecting that menu item will result in activation of the action with the target value as the parameter. The menu item should be rendered as "selected" when the state of the action is equal to the target value of the menu item.

Exported types

newtype MenuModel

Constructors

MenuModel (ManagedPtr MenuModel)

Instances

GObject MenuModel

Methods

gobjectType :: MenuModel -> IO GType

IsObject MenuModel

IsMenuModel MenuModel

((~) * info (ResolveMenuModelMethod t MenuModel), MethodInfo * info MenuModel p) => IsLabel t (MenuModel -> p)

Methods

fromLabel :: Proxy# Symbol t -> MenuModel -> p

((~) * info (ResolveMenuModelMethod t MenuModel), MethodInfo * info MenuModel p) => IsLabelProxy t (MenuModel -> p)

Methods

fromLabelProxy :: Proxy Symbol t -> MenuModel -> p

HasAttributeList * MenuModel

type AttributeList MenuModel

type AttributeList MenuModel

type SignalList MenuModel

type SignalList MenuModel

class GObject o => IsMenuModel o

Instances

(GObject a, UnknownAncestorError Constraint MenuModel a) => IsMenuModel a

IsMenuModel MenuModel

IsMenuModel Menu

IsMenuModel DBusMenuModel

toMenuModel :: IsMenuModel o => o -> IO MenuModel

noMenuModel :: Maybe MenuModel

Methods

getItemAttributeValue

data MenuModelGetItemAttributeValueMethodInfo

Instances

((~) * signature (Int32 -> Text -> Maybe VariantType -> m GVariant), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelGetItemAttributeValueMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelGetItemAttributeValueMethodInfo a -> signature -> s

menuModelGetItemAttributeValue

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> Int32

itemIndex: the index of the item

-> Text

attribute: the attribute to query

-> Maybe VariantType

expectedType: the expected type of the attribute, or Nothing

-> m GVariant

Returns: the value of the attribute

Queries the item at position itemIndex in model for the attribute specified by attribute.

If expectedType is non-Nothing then it specifies the expected type of the attribute. If it is Nothing then any type will be accepted.

If the attribute exists and matches expectedType (or if the expected type is unspecified) then the value is returned.

If the attribute does not exist, or does not match the expected type then Nothing is returned.

Since: 2.32

getItemLink

data MenuModelGetItemLinkMethodInfo

Instances

((~) * signature (Int32 -> Text -> m MenuModel), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelGetItemLinkMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelGetItemLinkMethodInfo a -> signature -> s

menuModelGetItemLink

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> Int32

itemIndex: the index of the item

-> Text

link: the link to query

-> m MenuModel

Returns: the linked MenuModel, or Nothing

Queries the item at position itemIndex in model for the link specified by link.

If the link exists, the linked MenuModel is returned. If the link does not exist, Nothing is returned.

Since: 2.32

getNItems

data MenuModelGetNItemsMethodInfo

Instances

((~) * signature (m Int32), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelGetNItemsMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelGetNItemsMethodInfo a -> signature -> s

menuModelGetNItems

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> m Int32

Returns: the number of items

Query the number of items in model.

Since: 2.32

isMutable

data MenuModelIsMutableMethodInfo

Instances

((~) * signature (m Bool), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelIsMutableMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelIsMutableMethodInfo a -> signature -> s

menuModelIsMutable

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> m Bool

Returns: True if the model is mutable (ie: "items-changed" may be emitted).

Queries if model is mutable.

An immutable MenuModel will never emit the MenuModel::items-changed signal. Consumers of the model may make optimisations accordingly.

Since: 2.32

itemsChanged

data MenuModelItemsChangedMethodInfo

Instances

((~) * signature (Int32 -> Int32 -> Int32 -> m ()), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelItemsChangedMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelItemsChangedMethodInfo a -> signature -> s

menuModelItemsChanged

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> Int32

position: the position of the change

-> Int32

removed: the number of items removed

-> Int32

added: the number of items added

-> m ()

Requests emission of the MenuModel::items-changed signal on model.

This function should never be called except by MenuModel subclasses. Any other calls to this function will very likely lead to a violation of the interface of the model.

The implementation should update its internal representation of the menu before emitting the signal. The implementation should further expect to receive queries about the new state of the menu (and particularly added menu items) while signal handlers are running.

The implementation must dispatch this call directly from a mainloop entry and not in response to calls -- particularly those from the MenuModel API. Said another way: the menu must not change while user code is running without returning to the mainloop.

Since: 2.32

iterateItemAttributes

data MenuModelIterateItemAttributesMethodInfo

Instances

((~) * signature (Int32 -> m MenuAttributeIter), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelIterateItemAttributesMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelIterateItemAttributesMethodInfo a -> signature -> s

menuModelIterateItemAttributes

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> Int32

itemIndex: the index of the item

-> m MenuAttributeIter

Returns: a new MenuAttributeIter

Creates a MenuAttributeIter to iterate over the attributes of the item at position itemIndex in model.

You must free the iterator with objectUnref when you are done.

Since: 2.32

iterateItemLinks

data MenuModelIterateItemLinksMethodInfo

Instances

((~) * signature (Int32 -> m MenuLinkIter), MonadIO m, IsMenuModel a) => MethodInfo * MenuModelIterateItemLinksMethodInfo a signature

Methods

overloadedMethod :: MethodProxy MenuModelIterateItemLinksMethodInfo a -> signature -> s

menuModelIterateItemLinks

Arguments

:: (HasCallStack, MonadIO m, IsMenuModel a)

=> a

model: a MenuModel

-> Int32

itemIndex: the index of the item

-> m MenuLinkIter

Returns: a new MenuLinkIter

Creates a MenuLinkIter to iterate over the links of the item at position itemIndex in model.

You must free the iterator with objectUnref when you are done.

Since: 2.32

Signals

itemsChanged

type C_MenuModelItemsChangedCallback = Ptr () -> Int32 -> Int32 -> Int32 -> Ptr () -> IO ()

type MenuModelItemsChangedCallback = Int32 -> Int32 -> Int32 -> IO ()

data MenuModelItemsChangedSignalInfo

Instances

SignalInfo MenuModelItemsChangedSignalInfo

Associated Types

type HaskellCallbackType MenuModelItemsChangedSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o MenuModelItemsChangedSignalInfo -> o -> HaskellCallbackType MenuModelItemsChangedSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType MenuModelItemsChangedSignalInfo

type HaskellCallbackType MenuModelItemsChangedSignalInfo = MenuModelItemsChangedCallback

afterMenuModelItemsChanged :: (GObject a, MonadIO m) => a -> MenuModelItemsChangedCallback -> m SignalHandlerId

genClosure_MenuModelItemsChanged :: MenuModelItemsChangedCallback -> IO Closure

mk_MenuModelItemsChangedCallback :: C_MenuModelItemsChangedCallback -> IO (FunPtr C_MenuModelItemsChangedCallback)

noMenuModelItemsChangedCallback :: Maybe MenuModelItemsChangedCallback

onMenuModelItemsChanged :: (GObject a, MonadIO m) => a -> MenuModelItemsChangedCallback -> m SignalHandlerId

wrap_MenuModelItemsChangedCallback :: MenuModelItemsChangedCallback -> Ptr () -> Int32 -> Int32 -> Int32 -> Ptr () -> IO ()