Skip to content

CodeEdit: Add line number gutter minimum digits #3322

CodeEdit: Add line number gutter minimum digits

CodeEdit: Add line number gutter minimum digits #3322

Triggered via pull request November 3, 2025 17:50
Status Success
Total duration 15s
Artifacts

cache_cleanup.yml

on: pull_request
Cleanup PR caches
11s
Cleanup PR caches
Fit to window
Zoom out
Zoom in