convert_selection/[4,5,6]
convert_selection(+Selection, +Target, +Property, +Requestor) convert_selection(+Selection, +Target, +Property, +Requestor, +Time) convert_selection(+Displayable, +Selection, +Target, +Property, +Requestor, +Time)
Convert Selection on Displayable to Target type,
storing it under Property on window Requestor at
Time. Time must be current_time
or a timestamp in
milliseconds. Time defaults to current_time
. Displayable
defaults to the default display.