| 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 => |
| { |