— function: set-pick-cursor-index icursor_index

Where icursor_index is an integer number

let the user have a different pick cursor

sometimes (the default) GDK_CROSSHAIR is hard to see, let the user set their own