File: Caret.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 (35 lines) | stat: -rw-r--r-- 1,044 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
28
29
30
31
32
33
34
35
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>

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

<body>

<h1>Caret</h1>

<p>The Caret structure contains functions to create and manipulate the caret.&nbsp; The
caret is typically used in edit controls to mark the point where new characters will be
inserted.&nbsp; Usually it is a vertical bar which blinks on and off.</p>

<pre>structure Caret :
  sig
    type HWND and HBITMAP
    type POINT = { x: int, y: int }
    datatype
      caretShape =
          CaretBitmap of HBITMAP
        | CaretBlack of {width: int, height: int}
        | CaretGrey of {width: int, height: int}
    val CreateCaret : HWND * caretShape -&gt; unit
    val DestroyCaret : unit -&gt; unit
    val GetCaretBlinkTime : unit -&gt; Time.time
    val GetCaretPos : unit -&gt; POINT
    val HideCaret : HWND -&gt; unit
    val SetCaretBlinkTime : Time.time -&gt; unit
    val SetCaretPos : POINT -&gt; unit
    val ShowCaret : HWND -&gt; bool
  end</pre>
</body>
</html>