[orca/gnome-3-12] Clear saved page-loading state when Gecko script is deactivated

[Joanmarie Diggs <joanied src gnome org>]

commit c4794527c4122b6b1b8c9fd8b0451faa2ef826a4
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Mon Apr 14 09:24:56 2014 -0400

    Clear saved page-loading state when Gecko script is deactivated

 src/orca/scripts/toolkits/Gecko/script.py |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/src/orca/scripts/toolkits/Gecko/script.py b/src/orca/scripts/toolkits/Gecko/script.py
index 41e7516..5cdd038 100644
--- a/src/orca/scripts/toolkits/Gecko/script.py
+++ b/src/orca/scripts/toolkits/Gecko/script.py
@@ -238,6 +238,12 @@ class Script(default.Script):
         # See bug 665522 - comment 5
         app.setCacheMask(pyatspi.cache.DEFAULT ^ pyatspi.cache.CHILDREN)
 
+    def deactivate(self):
+        """Called when this script is deactivated."""
+
+        self._loadingDocumentContent = False
+        self._loadingDocumentTime = 0.0
+
     def getBookmarks(self):
         """Returns the "bookmarks" class for this script.
         """