wenzelm [Tue, 06 Aug 2013 21:08:04 +0200] rev 52876
more explicit status for query operation;
avoid output with outdated snapshot;
animation rate according to status;
added PIDE.document_snapshot convenience -- independent of availability of physical buffer;