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.
|