Merge remote-tracking branch 'mozilla/master'

This commit is contained in:
Yury Delendik 2012-07-23 14:52:02 -05:00
Родитель d9157da22e fc8b585a9d
Коммит 801590d2d8
1 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -144,14 +144,14 @@
Loader.SCRIPT_PATH = "../../src/flash/display/Loader.js";
function getState() {
return document.cookie ? JSON.parse(document.cookie): {};
return localStorage["Inspector-Settings"] ? JSON.parse(localStorage["Inspector-Settings"]): {};
}
var state = getState();
enableVerifier.value = state.chkVerifier;
enableOpt.value = state.chkOptimizations;
function setState(state) {
document.cookie = JSON.stringify(state);
localStorage["Inspector-Settings"] = JSON.stringify(state);
}
</script>