File: Mouse.html

package info (click to toggle)
polyml 5.7.1-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 40,584 kB
  • sloc: cpp: 44,143; ansic: 26,963; sh: 22,002; asm: 13,486; makefile: 602; 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>