 onDelete = event "delete_event" [] False
 afterDelete = event "delete_event" [] True
 
--- @signal connectToDestroy@ The widget will be destroyed.
---
--- * This is the last signal this widget will receive.
---
-onDestroy, afterDestroy :: WidgetClass w => w -> (Event -> IO Bool) ->
-                           IO (ConnectId w)
-onDestroy = event "destroy_event" [] False
-afterDestroy = event "destroy_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.
 --

--          
--  Created: 27 April 2001
--
--  Version $Revision: 1.3 $ from $Date: 2002/05/24 09:43:24 $
--
--  Copyright (c) 2001 Axel Simon
--

  afterFocusOut,
  onGrabFocus,
  afterGrabFocus,
  onDestroy,
  afterDestroy,
  onHide,
  afterHide,
  onHierarchyChanged,
