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. The
caret is typically used in edit controls to mark the point where new characters will be
inserted. 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 -> unit
val DestroyCaret : unit -> unit
val GetCaretBlinkTime : unit -> Time.time
val GetCaretPos : unit -> POINT
val HideCaret : HWND -> unit
val SetCaretBlinkTime : Time.time -> unit
val SetCaretPos : POINT -> unit
val ShowCaret : HWND -> bool
end</pre>
</body>
</html>
|