src/Pure/PIDE/active.ML
2012-12-12 ago support dialog via document content;
2012-12-10 ago generalized notion of active area, where sendback is just one application;