Skip to content

Instantly share code, notes, and snippets.

@ZhymabekRoman
Last active October 27, 2023 02:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ZhymabekRoman/1a3f7032ff7b806f824a50326be2ecbe to your computer and use it in GitHub Desktop.
Save ZhymabekRoman/1a3f7032ff7b806f824a50326be2ecbe to your computer and use it in GitHub Desktop.
// ==UserScript==
// @name Devtool page refresh on faulture
// @namespace Violentmonkey Scripts
// @match *://*/*
// @grant none
// @version 1.0
// @author -
// @description 10/13/2023, 6:23:27 PM
// ==/UserScript==
(function () {
setInterval(function() {
var element = document.querySelector('.dimmed-pane');
if (element !== null) {
console.log("Restarting page...")
location.reload();
}
}, 5000); // Check every 5000 milliseconds (5 seconds)
})();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment