messwin.dcl 245 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
7
8
9
10
11
12

:: Info
	= Level1 String
	| Level2 String
	| Level3 [String]

showInfo	:: !.Info !*(PSt General) -> !*PSt General
closeInfo	:: !*(PSt General) -> !*PSt General