diff --git a/Player020Human.oz b/Player020Human.oz index f0c429a4daae77099b8dde67a2c1fb89534f1c6b..5fe73299af66089cf2ac17db7033b3668a95c010 100644 --- a/Player020Human.oz +++ b/Player020Human.oz @@ -391,6 +391,18 @@ define end end + proc{ShowMessages ID Msg} + M R + in + Desc=message(aspect:200 + init:Msg + handle:M + ) + CloseButton = button(text:Close glue: se action:toplevel#close) + {{QTk.build td(Desc CloseButton)} show} + + end + proc{DeadTreatStream Stream State} case Stream