class WHEN_DOUBLE_CLICKED
Summary
Overview
exported features
  • is_equal (other: WHEN_DOUBLE_CLICKED): BOOLEAN
    Is other attached to an object considered equal to current object?
double_click_delay: INTEGER_32
writable attribute
double_click_signal: SIGNAL_0
writable attribute
when_double_clicked (p: PROCEDURE[TUPLE])
effective procedure
double click on left button NOTE: click has been generated before!
set_double_click_delay (cd: INTEGER_32)
effective procedure
Set the maximum time (in milliseconds) between a up and next down sequence for a double-click to be emitted
left_click_signal: SIGNAL_0
writable attribute
when_left_clicked (p: PROCEDURE[TUPLE])
effective procedure
left_is_down: BOOLEAN
writable attribute
is_pointer_inside: BOOLEAN
writable attribute
hash_code: INTEGER_32
effective function
The hash-code value of Current.
is_equal (other: WHEN_DOUBLE_CLICKED): BOOLEAN
deferred function
Is other attached to an object considered equal to current object?
when_pointer_enter (p: PROCEDURE[TUPLE])
effective procedure
when_pointer_enter_signal: SIGNAL_0
effective function
when_pointer_leave (p: PROCEDURE[TUPLE])
effective procedure
when_pointer_leave_signal: SIGNAL_0
effective function
state: INTEGER_32
writable attribute
use values from STATE_CONSTANTS
is_state_normal: BOOLEAN
frozen
effective function
is_state_active: BOOLEAN
frozen
effective function
is_state_prelight: BOOLEAN
frozen
effective function
is_state_selected: BOOLEAN
frozen
effective function
is_state_insensitive: BOOLEAN
frozen
effective function
when_left_down (p: PROCEDURE[TUPLE])
effective procedure
when_left_down_signal: SIGNAL_0
effective function
when_left_up (p: PROCEDURE[TUPLE])
effective procedure
when_left_up_signal: SIGNAL_0
effective function