94bd6f1718
If we're not mapped, only queue up a redisplay. This avoids e.g. changes in recent documents such as saving a file in GEdit causing a lot of blocking I/O in the shell (we need to make recent loading async as well). https://bugzilla.gnome.org/show_bug.cgi?id=599560