Rename old setting

This commit is contained in:
Oliver Blanthorn 2021-07-20 13:00:46 +02:00
parent 9a99c21b1c
commit be36b6c2bd
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3

View file

@ -34,7 +34,7 @@ let enabled = false
/** Initialise the cmdline_iframe element unless the window location is included in a value of config/noiframe */
async function init() {
const noiframe = await config.getAsync("noiframe")
const notridactyl = await config.getAsync("disable")
const notridactyl = await config.getAsync("superignore")
if (noiframe === "false" && notridactyl !== "true" && !enabled) {
hide()
document.documentElement.appendChild(cmdline_iframe)