Skip to content

Fix #541: Line numbers resize when getting a new document #358

Fix #541: Line numbers resize when getting a new document

Fix #541: Line numbers resize when getting a new document #358

Triggered via pull request November 20, 2024 04:12
Status Success
Total duration 2m 12s
Artifacts

gradle.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in