Instance methods inherited from class Boleite::GUI::Widget

absolute_allocation absolute_allocation, absolute_position absolute_position, allocation allocation, clear_repaint clear_repaint, contract_ensures_parentassign(return_value, parent) contract_ensures_parentassign, contract_post_parentassign(check_depth, return_value, parent) contract_post_parentassign, contract_pre_parentassign(check_depth, parent) contract_pre_parentassign, contract_requires_parentassign(parent) contract_requires_parentassign, enabled=(enabled) enabled=, enabled? enabled?, has_mouse_focus? has_mouse_focus?, input input, left_click : Signal_left_click left_click, mark_dirty mark_dirty, mouse_enter : Signal_mouse_enter mouse_enter, mouse_leave : Signal_mouse_leave mouse_leave, mouse_over : Signal_mouse_over mouse_over, move(pos) move, name name, name=(name) name=, on_mouse_enter on_mouse_enter, on_mouse_leave on_mouse_leave, on_state_change on_state_change, parent parent, parent=(val : Nil)
parent=(parent) parent=, position position, position=(pos) position=, pulse : Signal_pulse pulse, repaint? repaint?, right_click : Signal_right_click right_click, size size, size=(size) size=, state_change : Signal_state_change state_change, test_invariant_contracts(method = "") test_invariant_contracts, visible=(visible) visible=, visible? visible?

Constructor methods inherited from class Boleite::GUI::Widget

new new

Macros inherited from class Boleite::GUI::Widget

assert(test) assert, ensures(test) ensures, invariant(test) invariant, requires(test) requires, setter_state(*args) setter_state