Skip to content
Lint Code Base

Revert "Change widget/repl toggle to close and re-open if in was on other tabpage" #1483

Sign in to view logs

Revert "Change widget/repl toggle to close and re-open if in was on other tabpage"

Revert "Change widget/repl toggle to close and re-open if in was on other tabpage" #1483

Triggered via pull request November 26, 2024 20:03
@mfusseneggermfussenegger
opened #1374
view-toggle
Status Success
Total duration 1m 34s
Artifacts –

linter.yml

on: pull_request
Lint Code Base
1m 26s
Lint Code Base
Fit to window
Zoom out
Zoom in