Skip to content

Modify distribution of space between split panes within EditorView. #18

Modify distribution of space between split panes within EditorView.

Modify distribution of space between split panes within EditorView. #18

Triggered via pull request January 20, 2024 18:31
Status Success
Total duration 58s
Artifacts

gradle-test.yml

on: pull_request
Fit to window
Zoom out
Zoom in