Index: devtools.js |
diff --git a/devtools.js b/devtools.js |
index bc2250e7a1bbe81a8d80df483d9b1700cff275cc..4f4983ae8d485a54d6cb667c5cf74729790d1762 100644 |
--- a/devtools.js |
+++ b/devtools.js |
@@ -35,7 +35,7 @@ if ("panels" in browser.devtools) |
{ |
browser.devtools.panels.create( |
"Adblock Plus", |
- "icons/detailed/abp-48.png", |
+ "icons/abp-16.png", |
Wladimir Palant
2017/11/17 12:35:41
This API apparently accepts one icon size only, th
kzar
2017/11/17 14:22:25
You're right, 32px doesn't look quite as good on m
|
"devtools-panel.html", |
panel => |
{ |