errwin.dcl 752 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4 5 6 7 8 9 10 11 12 13
definition module errwin

// errors and warnings window

import StdPSt, StdId
import IdeState

sr_find_err			:: !Bool !*(PSt *General) -> *PSt *General
// Goto next error in error window

updateErrorWindow :: !([String]) !*(PSt *General) -> *PSt *General;
// Add lines to error window. If not open then open it

Diederik van Arkel's avatar
Diederik van Arkel committed
14
ew_is_active			:: !*(PSt *General) -> (!Bool,!*PSt *General)
Diederik van Arkel's avatar
Diederik van Arkel committed
15 16 17 18 19 20
ew_safe_close			:: !*(PSt *General) -> *PSt *General
ew_maybe_close			:: !Id !*(PSt *General) -> (Bool,*PSt *General)

err_init			:: !ErrPrefs *World -> *(.ErrorInfo .c,*World)
// Initialise options from prefs

21
err_shut			:: !(ErrorInfo .a) -> ErrPrefs
Diederik van Arkel's avatar
Diederik van Arkel committed
22 23 24 25
// Initialise prefs from options

err_options			:: !*(PSt *General) -> *PSt *General;
// Show options dialog for error window