ProXT Specific Predicates

     proxtGetCallbackEvent(+CallData,-Event)
     CallData:   Calldata
     Event:      XEvent
     

     proxtGetCallbackReason(+CallData,-Reason)
     CallData:   Calldata
     Reason:     String
     

     proxtGetCallbackFields(+CallData,-CallDataList)
     CallData:   Calldata
     CallDataList:       CalldataFields
     

     proxtGetWidgetClass(+Widget,-WidgetClass)
     Widget:     Widget
     WidgetClass:        WidgetClass
     

     proxtGetEventFields(+Event,-Fields)
     Event:      XEvent
     Fields:     EventFields
     

     proxtSetCallbackFields(+CallData,-CallDataList)
     CallData:   Calldata
     CallDataList:       CalldataFields