diff options
| author | Teddy Wing | 2021-02-09 01:55:38 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-02-09 01:55:38 +0100 |
| commit | a32473a3f82e926b6a6ad73c32d485fbe27aadda (patch) | |
| tree | 6a3aba941d7f6524c6223332f27486826989b5c1 /l/src/option.lisp | |
| parent | ed11bce205dfd257a1cdb2ff3c3f96790a16e88b (diff) | |
| download | extreload-a32473a3f82e926b6a6ad73c32d485fbe27aadda.tar.bz2 | |
Always reload current tab after reloading an extension
A bit crude, but it covers us when extensions are in multiple Chrome
profiles. This ensures the desired tab is reloaded because all current
tabs in all profiles that have requested extensions are reloaded.
Not very intelligent, but a simple approach.
Diffstat (limited to 'l/src/option.lisp')
0 files changed, 0 insertions, 0 deletions