Skip to content

ViewTool: rename 'edit' to 'editor' in command menu #175

ViewTool: rename 'edit' to 'editor' in command menu

ViewTool: rename 'edit' to 'editor' in command menu #175

Triggered via push December 25, 2025 12:40
Status Success
Total duration 18s
Artifacts

maven.yml

on: push
Fit to window
Zoom out
Zoom in