remove_shortcut


Description:

public void remove_shortcut (Shortcut shortcut)

Removes shortcut from the list of shortcuts handled by this.

If shortcut had not been added to controller or this controller uses an external shortcut list, this function does nothing.

Parameters:

this

the controller

shortcut

a `GtkShortcut`