Skip to content

Improve editor#625

Merged
aguingand merged 19 commits into
mainfrom
improve-editor
Sep 15, 2025
Merged

Improve editor#625
aguingand merged 19 commits into
mainfrom
improve-editor

do not exit fullscreen if selection has changed

90f7ec0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.