Returns the name of the mouse pointer loaded by LOAD-MOUSE-POINTER( ).
Data type: CHARACTER
Access: Read-only
Applies to: BROWSE widget (browse and column), BUTTON widget, COMBO-BOX widget, DIALOG-BOX widget, EDITOR widget, FILL-IN widget, FRAME widget, RADIO-SET widget, SELECTION-LIST widget, SLIDER widget, TOGGLE-BOX widget, WINDOW widget