Symbol: ?set_priority_of_presenting_options
loading x elements...

Name: ?set_priority_of_presenting_options

Creator: None (system-internal Symbol).

Private: False

Description:
A Tag with this symbol targeting nothing is created to set the priority of presenting options to the user in a 'default' event.