diff --git a/mozilla/extensions/venkman/resources/content/venkman-outliners.js b/mozilla/extensions/venkman/resources/content/venkman-outliners.js index 327fea05c09..eb83d380503 100644 --- a/mozilla/extensions/venkman/resources/content/venkman-outliners.js +++ b/mozilla/extensions/venkman/resources/content/venkman-outliners.js @@ -1223,7 +1223,9 @@ function sv_restore () } if ("savedState" in this) { + this.freeze(); restoreBranch (this.stack.childData, this.savedState); + this.thaw(); this.scrollTo (this.savedState.firstVisible, -1); } } diff --git a/mozilla/extensions/venkman/resources/content/venkman-trees.js b/mozilla/extensions/venkman/resources/content/venkman-trees.js index 327fea05c09..eb83d380503 100644 --- a/mozilla/extensions/venkman/resources/content/venkman-trees.js +++ b/mozilla/extensions/venkman/resources/content/venkman-trees.js @@ -1223,7 +1223,9 @@ function sv_restore () } if ("savedState" in this) { + this.freeze(); restoreBranch (this.stack.childData, this.savedState); + this.thaw(); this.scrollTo (this.savedState.firstVisible, -1); } }