You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We don't know how to receive and handle those "delete events" (which are not
regular events -- ICCCM stuff? whatever). Leave this as feature wish if anyone
can contribute the code. DD&XL, 2005-08
Original bug ID: 3668
Reporter: administrator
Status: acknowledged
Resolution: open
Priority: normal
Severity: feature
Category: otherlibs
Bug description
Full_Name: e. amian
Version: Objective Caml version 3.08.3
OS: Linux 2.6.11-gentoo-r8
Submission from: hoproxy.proxy.lucent.com (192.11.226.116)
Closing a Graphics window by clicking on top right 'close button'
(delete_event)
crashes the top level. Sample session
Objective Caml version 3.08.3
Graphics.open_graph " 200x200";;
Broken pipe
The text was updated successfully, but these errors were encountered: