Jump to content

Mouse position: Difference between revisions

m
No edit summary
Line 820:
 
// create a window, set the handler for mouse moved, and show it
$w = new("Window")
$w.setSize(500, 500)
$w.setHandler($w.mouseMoved, $mouse_moved)
$w.show()</lang>
 
=={{header|OCaml}}==
Anonymous user
Cookies help us deliver our services. By using our services, you agree to our use of cookies.