Open vicuna opened 19 years ago
Comment author: administrator
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