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