set_trigger


Description:

public void set_trigger (owned ShortcutTrigger? trigger)

Sets the new trigger for this to be trigger.

Parameters:

this

a Shortcut

trigger

The new trigger. If the trigger is null, the never trigger will be used.