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
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Windows Interface Reference: DragDrop structure</title>
</head>
<body>
<h1>DragDrop </h1>
<p>The DragDrop structure provides functions to allow file names to be dragged and dropped
onto a window. Calling DragAcceptFiles for a window allows it to accept dropped files.
It will then receive a WM_DROPFILES message containing a drop handle when one or
more files are dropped on the window. The file names are retrieved from the drop
handle using DragQueryFile and the position within the window with DragQueryPoint.
To complete processing the message call DragFinish.</p>
<pre>structure DragDrop:
sig
type HDROP
type HWND (* = Window.HWND *)
type POINT = { x: int, y: int }
val DragAcceptFiles : HWND * bool -> unit
val DragFinish : HDROP -> unit
val DragQueryFile : HDROP -> string list
val DragQueryPoint : HDROP -> POINT * bool
end</pre>
</body>
</html>
|
