Text.status
A status is a label where messages can be stacked. Only the message at the top of the stack is displayed. Each message has an id, which can be used to remove the message even if not on top of the stack.
inherit label
method push : string -> Status_msg_id.t
s#push msg
pushes new message msg
and returns message id.
v#pop
pops message from the stack. If the stack is not empty, then the new message on top is displayed.
method remove : Status_msg_id.t -> unit
v#remove id
removes message with given id
from the stack.