v1.20.0

github-actions released this 07 Dec 05:21

· 13 commits to main since this release

08d23e1

1.20.0 (2025-12-07)

Features

mini-map: add user location option (#231) (1ed6498)

Bug Fixes

range-info: Adjust the z-index for range level value in range info bar (#229) (afe5620)

Assets 3