Gildas e8d0447217 make sure options exists vor 5 Jahren
..
content-bootstrap.js e8d0447217 make sure options exists vor 5 Jahren
content-download.js 15b110bfa4 fixed option "Annotation editor > warn if leaving page with unsaved changes" vor 5 Jahren
content-main.js 3d0bc4cf9f use a random number as session id when getting frame contents vor 5 Jahren