File: Mouse.html

package info (click to toggle)
polyml 5.8.1-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 57,736 kB
  • sloc: cpp: 44,918; ansic: 26,921; asm: 13,495; sh: 4,670; makefile: 610; exp: 525; python: 253; awk: 91
file content (27 lines) | stat: -rw-r--r-- 679 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>

<head>
<title>Windows Interface Reference: Mouse structure</title>
</head>

<body>

<h1>Mouse </h1>

<p>The Mouse structure contains functions to control mouse input to a window.</p>

<pre>structure Mouse :
  sig
    type HWND
    type POINT = { x: int, y: int }
    val DragDetect : HWND * POINT -&gt; bool
    val GetCapture : unit -&gt; HWND option
    val GetDoubleClickTime : unit -&gt; Time.time
    val ReleaseCapture : unit -&gt; unit
    val SetCapture : HWND -&gt; HWND option
    val SetDoubleClickTime : Time.time -&gt; unit
    val SwapMouseButton : bool -&gt; bool
  end</pre>
</body>
</html>