Use document.hidden instead of document.hasFocus()
authorBenjamin Auder <benjamin.auder@somewhere>
Sat, 13 Nov 2021 15:05:38 +0000 (16:05 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Sat, 13 Nov 2021 15:05:38 +0000 (16:05 +0100)
commit016306e3aa2262e141899f8d4b900421d68f5439
treec048836a1a8ee988b08249b6b5c05b3fb5ca2cca
parent2dba3fe12f4a2970e5ed01e77e07c7bece56bdc0
Use document.hidden instead of document.hasFocus()
app.js
base_rules.js