src/Pure/PIDE/active.ML
2012-12-13 ago identify dialogs via official serial and maintain as result message;
2012-12-12 ago support dialog via document content;
2012-12-10 ago generalized notion of active area, where sendback is just one application;