messwin.dcl 259 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
definition module messwin

import StdString, StdPSt
Diederik van Arkel's avatar
Diederik van Arkel committed
4
from IdeState import :: General
Diederik van Arkel's avatar
Diederik van Arkel committed
5

6
:: InfoMessage
Diederik van Arkel's avatar
Diederik van Arkel committed
7
8
9
10
	= Level1 String
	| Level2 String
	| Level3 [String]

11
showInfo	:: !.InfoMessage !*(PSt General) -> !*PSt General
Diederik van Arkel's avatar
Diederik van Arkel committed
12
closeInfo	:: !*(PSt General) -> !*PSt General