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
36
37
38
39
40
41
42
43
44
45
|
definition module ossystem
// Clean Object I/O library, version 1.2
import StdString
import StdMaybe
import osdocumentinterface, ostypes
:: OSWindowMetrics
= { osmFont :: !Font // The internal Font used in Windows for controls
, osmFontMetrics :: !(!Int,!Int,!Int) // The ascent, descent, leading of osmFont
, osmHeight :: !Int // The height of the internal Font
, osmHorMargin :: !Int // The default horizontal margin
, osmVerMargin :: !Int // The default vertical margin
, osmHorItemSpace :: !Int // The default horizontal item space
, osmVerItemSpace :: !Int // The default vertical item space
, osmHSliderHeight :: !Int // The default height of a horizontal slider control
, osmVSliderWidth :: !Int // The default width of a vertical slider control
}
OSdirseparator :== '/'
osHomepath :: !String -> String
osApplicationpath :: !String -> String
OSnewlineChars :== "\xA"
OStickspersecond :== 1000
osMMtoHPixels :: !Real -> Int
osMMtoVPixels :: !Real -> Int
osMaxScrollWindowSize :: (!Int,!Int)
osMaxFixedWindowSize :: (!Int,!Int)
osScreenrect :: !*OSToolbox -> (!OSRect,!*OSToolbox)
osPrintSetupTypical :: Bool
// osGetProcessWindowDimensions returns OSRect of process window in terms of screen coordinates
osGetProcessWindowDimensions :: !OSDInfo !*OSToolbox -> (!OSRect,!*OSToolbox)
osDefaultWindowMetrics :: !*OSToolbox -> (!OSWindowMetrics,!*OSToolbox)
/* osStripOuterSize isMDI isResizable
returns (dw,dh) required to add/subtract to view/outer size in order to obtain outer/view size.
*/
osStripOuterSize :: !Bool !Bool !*OSToolbox -> (!(!Int,!Int),!*OSToolbox)
|
