class interface WHEN_DOUBLE_CLICKED
feature(s) from WHEN_POINTER_ENTER
when_pointer_enter (p: PROCEDURE[ANY,TUPLE])
when_pointer_enter_signal: SIGNAL_0
feature(s) from WHEN_POINTER_LEAVE
when_pointer_leave (p: PROCEDURE[ANY,TUPLE])
when_pointer_leave_signal: SIGNAL_0
feature(s) from POINTER_STATUS
is_pointer_inside: BOOLEAN
feature(s) from STATE
state: INTEGER
-- use values from STATE_CONSTANTS
is_state_normal: BOOLEAN
is_state_active: BOOLEAN
is_state_prelight: BOOLEAN
is_state_selected: BOOLEAN
is_state_insensitive: BOOLEAN
feature(s) from WHEN_LEFT_DOWN
when_left_down (p: PROCEDURE[ANY,TUPLE])
when_left_down_signal: SIGNAL_0
feature(s) from HASHABLE
hash_code: INTEGER
-- The hash-code value of Current.
ensure
good_hash_value: Result >= 0
feature(s) from WHEN_LEFT_UP
when_left_up (p: PROCEDURE[ANY,TUPLE])
when_left_up_signal: SIGNAL_0
feature(s) from WHEN_LEFT_CLICKED
left_click_signal: SIGNAL_0
when_left_clicked (p: PROCEDURE[ANY,TUPLE])
left_is_down: BOOLEAN
feature(s) from WHEN_DOUBLE_CLICKED
double_click_delay: INTEGER
double_click_signal: SIGNAL_0
when_double_clicked (p: PROCEDURE[ANY,TUPLE])
-- double click on left button
-- NOTE: click has been generated before!
set_double_click_delay (cd: INTEGER)
-- Set the maximum time (in milliseconds) between a up and
-- next down sequence for a double-click to be emitted
require
cd > 0 and then cd < 1_000
ensure
double_click_delay = cd
end of WHEN_DOUBLE_CLICKED