diff options
author | Teddy Wing | 2021-02-09 01:43:39 +0100 |
---|---|---|
committer | Teddy Wing | 2021-02-09 01:43:39 +0100 |
commit | ed11bce205dfd257a1cdb2ff3c3f96790a16e88b (patch) | |
tree | a1f6802dc929eb91493256a89a22a504fe25b563 /l/src/devtools-protocol.lisp | |
parent | 75223cd29aea2e5f35eba715bbd6008e5c8396a7 (diff) | |
download | extreload-ed11bce205dfd257a1cdb2ff3c3f96790a16e88b.tar.bz2 |
Use proper extension target count for active tab reload condition
Didn't reload the active tab in my test. But the previous way doesn't
work when multiple copies of the same extension appear in the list of
targets.
Think we might want to always reload the current tab after reloading an
extension because the extension targets could be in different Chrome
profiles. Thus, you couldn't be sure which tab would be reloaded.
Diffstat (limited to 'l/src/devtools-protocol.lisp')
0 files changed, 0 insertions, 0 deletions