spidermonkey: restore history