Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-02-09 | Always reload current tab after reloading an extension | Teddy Wing | |
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. | |||
2021-02-03 | Move DevTools functions to `devtools-protocol.lisp` | Teddy Wing | |
The `main.lisp` file was getting crowded. Move DevTools Protocol-related functions into a new file. |