indexing
description: "Receive and dispatch the Windows messages to the Eiffel objects.block the message if a blocking window is present"
status: "See notice at end of class."
date: "$Date$"
revision: "$Revision$"
class interface
WEL_BLOCKING_DISPATCHER
create
make
WEL_DISPATCHER
feature
En_change: INTEGER is 768
WEL_EN_CONSTANTS
En_errspace: INTEGER is 1280
WEL_EN_CONSTANTS
En_hscroll: INTEGER is 1537
WEL_EN_CONSTANTS
En_killfocus: INTEGER is 512
WEL_EN_CONSTANTS
En_maxtext: INTEGER is 1281
WEL_EN_CONSTANTS
En_msgfilter: INTEGER is 1792
WEL_EN_CONSTANTS
En_setfocus: INTEGER is 256
WEL_EN_CONSTANTS
En_update: INTEGER is 1024
WEL_EN_CONSTANTS
En_vscroll: INTEGER is 1538
WEL_EN_CONSTANTS
feature
blocking_dispatcher_enabled: BOOLEAN
blocking_dispatcher_window: WEL_WINDOW
disable_blocking_dispatcher
enable_blocking_dispatcher
remove_blocking_dispatcher_window
set_blocking_dispatcher_window (a_window: WEL_WINDOW)
a_window
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- WEL_BLOCKING_DISPATCHER