Gildas a1513fb7f3 don't change "OK" bg color when auto-save is active před 7 roky
..
options.js 574c93fa51 implemented auto-save on page unload před 7 roky
ui.js a1513fb7f3 don't change "OK" bg color when auto-save is active před 7 roky