Artiweb > Pull Request #3126

Fix source view line numbers font size #3126

Github

Description

Fixes #3123

Artifacts

19. Apr 2023 14:14 (3698.02 kB large)