File: Mouse.html

package info (click to toggle)
polyml 5.6-8
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 31,892 kB
  • ctags: 34,453
  • sloc: cpp: 44,983; ansic: 24,520; asm: 14,850; sh: 11,730; makefile: 551; exp: 484; python: 253; awk: 91; sed: 9
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>