ShortcutsGroup.addShortcut

void addShortcut(gtk.shortcuts_shortcut.ShortcutsShortcut shortcut)

Adds a shortcut to the shortcuts group.

This is the programmatic equivalent to using [gtk.builder.Builder] and a <child> tag to add the child. Adding children with other API is not appropriate as [gtk.shortcuts_group.ShortcutsGroup] manages its children internally.

Parameters

shortcut the [gtk.shortcuts_shortcut.ShortcutsShortcut] to add