ShortcutsSection

A gtk.shortcuts_section.ShortcutsSection collects all the keyboard shortcuts and gestures for a major application mode.

If your application needs multiple sections, you should give each section a unique property@Gtk.ShortcutsSection:section-name and a gtk.shortcuts_section.ShortcutsSection.utf8 that can be shown in the section selector of the gtk.shortcuts_window.ShortcutsWindow.

The property@Gtk.ShortcutsSection:max-height property can be used to influence how the groups in the section are distributed over pages and columns.

This widget is only meant to be used with gtk.shortcuts_window.ShortcutsWindow.

The recommended way to construct a gtk.shortcuts_section.ShortcutsSection is with gtk.builder.Builder, by using the <child> tag to populate a gtk.shortcuts_section.ShortcutsSection with one or more gtk.shortcuts_group.ShortcutsGroup instances, which in turn contain one or more gtk.shortcuts_shortcut.ShortcutsShortcut objects.

If you need to add a group programmatically, use gtk.shortcuts_section.ShortcutsSection.addGroup.

Members

Functions

addGroup
void addGroup(gtk.shortcuts_group.ShortcutsGroup group)

Adds a group to the shortcuts section.

connectChangeCurrentPage
ulong connectChangeCurrentPage(T callback, Flag!"After" after)

Connect to ChangeCurrentPage signal.

Inherited Members

From Box

append
void append(gtk.widget.Widget child)

Adds child as the last child to box.

getBaselineChild
int getBaselineChild()

Gets the value set by gtk.box.Box.setBaselineChild.

getBaselinePosition
gtk.types.BaselinePosition getBaselinePosition()

Gets the value set by gtk.box.Box.setBaselinePosition.

getHomogeneous
bool getHomogeneous()

Returns whether the box is homogeneous (all children are the same size).

getSpacing
int getSpacing()

Gets the value set by gtk.box.Box.setSpacing.

insertChildAfter
void insertChildAfter(gtk.widget.Widget child, gtk.widget.Widget sibling)

Inserts child in the position after sibling in the list of box children.

prepend
void prepend(gtk.widget.Widget child)

Adds child as the first child to box.

remove
void remove(gtk.widget.Widget child)

Removes a child widget from box.

reorderChildAfter
void reorderChildAfter(gtk.widget.Widget child, gtk.widget.Widget sibling)

Moves child to the position after sibling in the list of box children.

setBaselineChild
void setBaselineChild(int child)

Sets the baseline child of a box.

setBaselinePosition
void setBaselinePosition(gtk.types.BaselinePosition position)

Sets the baseline position of a box.

setHomogeneous
void setHomogeneous(bool homogeneous)

Sets whether or not all children of box are given equal space in the box.

setSpacing
void setSpacing(int spacing)

Sets the number of pixels to place between children of box.