Ugh, surely there must be a better way! I think we need to think of one
(need-action)
One proposal may be to include in the ***END OF DESCRIPTION*** stuff a record of
the last few things darcs said to you. Sounds like it'd be tricky to implement
though.
Otherwise, I'll grudgingly imagine us keeping track of some kind of "important
messages not seen" state such that when we launch an editor and it is dirty, we
insert the delay.
|