From 7f0fd4f6f6c840810a240b3549f86a7d9da76282 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 4 Apr 2017 07:33:17 +0300
Subject: [PATCH] chrome.extension.getURL is deprecated

---
 edit.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit.js b/edit.js
index 3ea0dcf0..9ac64449 100644
--- a/edit.js
+++ b/edit.js
@@ -289,7 +289,7 @@ function acmeEventListener(event) {
 				el.selectedIndex = 0;
 				break;
 			}
-			var url = chrome.extension.getURL("codemirror/theme/" + value + ".css");
+			var url = chrome.runtime.getURL("codemirror/theme/" + value + ".css");
 			if (themeLink.href == url) { // preloaded in initCodeMirror()
 				break;
 			}