Platform.dcl 628 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
7
8
9
10
definition module Platform

import StdPSt, StdString
import StdIOCommon

PlatformDependant win mac :== mac

initPlatformCommandLine			:: !*(PSt .l) -> (![String],!*PSt .l)
installPlatformEventHandlers	:: !*(PSt .l) -> *(PSt .l)
openPlatformWindowMenu			:: !*(PSt .l) -> *(PSt .l)
Diederik van Arkel's avatar
Diederik van Arkel committed
11

Diederik van Arkel's avatar
Diederik van Arkel committed
12
13
14
getWindowModified :: !Id !(IOSt .l) -> (!Maybe Bool,!IOSt .l)
setWindowModified :: !Id !String !Bool !(IOSt .l) -> IOSt .l

Diederik van Arkel's avatar
Diederik van Arkel committed
15
TempDir	:: String
Diederik van Arkel's avatar
Diederik van Arkel committed
16
17
EnvsDir		:: String
PrefsDir	:: String
Diederik van Arkel's avatar
Diederik van Arkel committed
18
BitmapDir	:: String
Diederik van Arkel's avatar
Diederik van Arkel committed
19
20
21

batchOptions	:: !*World -> (!Bool,Bool,String,*File,!*World)
wAbort			:: !String !*World -> *World
Diederik van Arkel's avatar
Diederik van Arkel committed
22
pAbort			:: !(PSt .a) -> PSt .a
23
24

onOSX	:: Bool