Pier Angelo Vendrame pushed to branch tor-browser-102.12.0esr-13.0-1 at The Tor Project / Applications / Tor Browser
Commits:
- 
18d2ce82
by Henry Wilkes at 2023-06-20T18:13:00+02:00
1 changed file:
Changes:
| ... | ... | @@ -194,10 +194,6 @@ var gTorCircuitPanel = { | 
| 194 | 194 |        .getElementById("tor-circuit-new-circuit")
 | 
| 195 | 195 |        .addEventListener("command", () => {
 | 
| 196 | 196 |          TorDomainIsolator.newCircuitForBrowser(gBrowser);
 | 
| 197 | -        // And hide.
 | |
| 198 | -        // NOTE: focus should return to the toolbar button, which we expect to
 | |
| 199 | -        // remain visible during reload.
 | |
| 200 | -        this.hide();
 | |
| 201 | 197 |        });
 | 
| 202 | 198 | |
| 203 | 199 |      // Update the display just before opening.
 |