add rerun button

Author: chee

README.md

@@ -0,0 +1,6 @@
+# javascript firefox addon
+
+An addon that lets you run automatically run some javascript when you visit a
+particular domain. Good for adding your own little QoL fixes.
+
+Available on [the Firefox addon store](https://addons.mozilla.org/en-GB/firefox/addon/javascript/).

browserAction/index.html

@@ -9,7 +9,10 @@
 <textarea id=javascript rows=20>
 </textarea>
 
-<button id="letters-js" title="Open options page">
+<button id="rerun" title="Rerun" label="Rerun the javascript">
+	↻
+</button>
+<button id="letters-js" title="Open options page" label="Open options page">
 	JS
 </button>
 

browserAction/script.js

@@ -1,7 +1,16 @@
 let javascript = document.getElementById("javascript")
-let button = document.getElementById("letters-js")
+let lettersButton = document.getElementById("letters-js")
+let rerunButton = document.getElementById("rerun")
 
-button.addEventListener("click", () => {
+rerunButton.addEventListener("click", async () => {
+	let [tab] = await browser.tabs.query({
+		currentWindow: true,
+		active: true,
+	})
+	await browser.tabs.sendMessage(tab.id, {rerun: true})
+})
+
+lettersButton.addEventListener("click", () => {
 	browser.runtime.openOptionsPage()
 	window.close()
 })
@@ -12,16 +21,9 @@ let editor = CodeMirror.fromTextArea(javascript, {
 	matchBrackets: true,
 	tabSize: 2,
 	indentWithTabs: true,
-	lint: CodeMirror.lint.javascript,
 	theme: "monokai"
 })
 
-editor.setOption("lint", {
-	options: {
-		esversion: 6
-	}
-})
-
 let defaultCode = `\
 // enter some javascript here and it will run
 // on every page on this domain (location.host)

browserAction/style.css

@@ -31,6 +31,18 @@ textarea, .CodeMirror {
 	cursor: pointer;
 }
 
+#rerun {
+	background: #f7df1e;
+	margin-left: 1ch;
+
+	border: 1px solid black;
+	cursor: pointer;
+}
+
+#rerun:hover {
+	background: white;
+}
+
 @font-face {
 	font-family: "Reem Kufi";
 	font-style: normal;

content_script.js

@@ -1,11 +1,30 @@
-browser.storage.local.get().then(store => {
-	let javascript = store[location.host]
+function id() {
+	return `javascript.chee.${location.host}`
+}
 
-	if (!javascript) {
-		return
-	}
+function inject() {
+	browser.storage.local.get().then(store => {
+		let javascript = store[location.host]
+
+		if (!javascript) {
+			return
+		}
+
+		let script = document.createElement("script")
+		script.id = id()
+		script.textContent = javascript
+		document.body.append(script)
+	})
+}
 
-	let script = document.createElement('script')
-	script.textContent = javascript
-	document.body.append(script)
+inject()
+
+browser.runtime.onMessage.addListener(request => {
+	if (request.rerun) {
+		let script = document.getElementById(id())
+		if (script) {
+			document.body.removeChild(script)
+		}
+		inject()
+	}
 })