class WHEN_DOUBLE_CLICKED

Features exported to DRAWABLE

Direct parents

conformant parents

WHEN_LEFT_CLICKED

Known children

conformant children

BUTTON

Summary

exported features

Details

double_click_delay: INTEGER
double_click_signal: SIGNAL_0
when_double_clicked (p: PROCEDURE [O_ -> TUPLE][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 < 1000

ensure

  • double_click_delay = cd

left_click_signal: SIGNAL_0
when_left_clicked (p: PROCEDURE [O_ -> TUPLE][TUPLE])
left_is_down: BOOLEAN
is_pointer_inside: BOOLEAN
hash_code: INTEGER

The hash-code value of Current.

ensure

  • good_hash_value: Result >= 0

widget: POINTER

widget identifier from the native graphic API.

deferred is_equal (other: WHEN_DOUBLE_CLICKED): BOOLEAN

Is other attached to an object considered equal to current object ?

require

  • other /= Void

ensure

  • Result implies hash_code = other.hash_code
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)

when_pointer_enter (p: PROCEDURE [O_ -> TUPLE][TUPLE])
when_pointer_enter_signal: SIGNAL_0
when_pointer_leave (p: PROCEDURE [O_ -> TUPLE][TUPLE])
when_pointer_leave_signal: SIGNAL_0
state: INTEGER

use values from STATE_CONSTANTS

frozen is_state_normal: BOOLEAN
frozen is_state_active: BOOLEAN
frozen is_state_prelight: BOOLEAN
frozen is_state_selected: BOOLEAN
frozen is_state_insensitive: BOOLEAN
when_left_down (p: PROCEDURE [O_ -> TUPLE][TUPLE])
when_left_down_signal: SIGNAL_0
when_left_up (p: PROCEDURE [O_ -> TUPLE][TUPLE])
when_left_up_signal: SIGNAL_0