diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2023-10-27 16:50:16 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2023-10-27 16:50:16 +0000 |
| commit | ccbcc1e7bf7dbf3fb118a4a06371fe4d0f2147ff (patch) | |
| tree | 9980a884f927312bf6e64a28f3066fb1dd146ce6 /virtual-programs/errors.folk | |
| parent | Remove extraneous debug info (diff) | |
| parent | outline: Slight optimization (diff) | |
| download | folk-ccbcc1e7bf7dbf3fb118a4a06371fe4d0f2147ff.tar.gz folk-ccbcc1e7bf7dbf3fb118a4a06371fe4d0f2147ff.zip | |
Merge branch 'main' into ac/editor
Diffstat (limited to 'virtual-programs/errors.folk')
| -rw-r--r-- | virtual-programs/errors.folk | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/virtual-programs/errors.folk b/virtual-programs/errors.folk index 28028710..32e34e73 100644 --- a/virtual-programs/errors.folk +++ b/virtual-programs/errors.folk @@ -6,6 +6,14 @@ When /p/ has error /err/ with info /info/ { Wish $p is outlined red } } - Wish $p is titled $err } + +When /p/ has warning /w/ with info /info/ { + When the clock time is /t/ { + if {[expr {(int($t * 5)) % 2}] != 1} { + Wish $p is outlined yellow + } + } + Wish $p is titled $w +} |