 --          
 --  Created: 27 April 2001
 --
---  Version $Revision: 1.3 $ from $Date: 2002/05/24 09:43:24 $
+--  Version $Revision: 1.4 $ from $Date: 2002/07/04 10:44:47 $
 --
 --  Copyright (c) 2001 Axel Simon
 --

  afterFocusOut,
  onGrabFocus,
  afterGrabFocus,
  onHide,
  afterHide,
  onHierarchyChanged,

onDelete = event "delete_event" [] False
afterDelete = event "delete_event" [] True

-- @signal connectToDestroyEvent@ The widget will be destroyed.
--
-- * The widget received a destroy event from the window manager.
--
onDestroyEvent, afterDestroyEvent :: WidgetClass w => 
				     w -> (Event -> IO Bool) ->
				     IO (ConnectId w)
onDestroyEvent = event "destroy_event" [] False
afterDestroyEvent = event "destroy_event" [] True

-- @signal connectToDirectionChanged@ The default text direction was changed.
--
