| commit | cf241774623339184eac94b05ba1da6dc7e2e68f | |
| author | auouymous <5005204+auouymous@users.noreply.github.com> | |
| Wed, 13 Jul 2022 18:50:32 +0000 (13 11:50 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 13 Jul 2022 18:50:32 +0000 (13 11:50 -0700) | ||
| tree | b4f66b54a329a4869ac200e40ddee8fcc2c62a9c | treesnapshot (tar.gz zip) |
| parent | 925a4975e68de920571e5940bdde809b0cfc5dd9 | commitdiff |
| parent | 4212b17bf27f58f34a21a7f7a61615a302cc2edb | commitdiff |
Merge pull request #1330 from auouymous/inject-extension-preferences
Add/remove extension preferences buttons when loaded/unloaded.
Add/remove extension preferences buttons when loaded/unloaded.