ANY | DRAWABLE | NONE |
deferred class interface SENSITIVE -- SENSITIVE is common class for objects who the system may send events. -- feature(s) from HASHABLE hash_code: INTEGER -- The hash-code value of Current. ensure good_hash_value: Result >= 0 feature(s) from SENSITIVE widget: POINTER -- widget identifier from the native graphic API. end of deferred SENSITIVE