Bug 803078: Added code to hide the cursor if the windows change. r=margaret

This commit is contained in:
Ravisankar Sivasubramaniam 2012-11-22 21:54:09 +05:30
parent 5ce4bee8ce
commit 24ea37cef9

View File

@ -1664,6 +1664,9 @@ var SelectionHandler = {
// Knowing when the page is done drawing is hard, so let's just cancel
// the selection when the window changes. We should fix this later.
this.endSelection();
} else if (this._activeType == this.TYPE_CURSOR) {
// Hide the cursor if the window changes
this.hideThumb();
}
break;
}