Skip to content

Make Tree scrolling and resizing more efficient by only refreshing newly visible nodes #7357

Make Tree scrolling and resizing more efficient by only refreshing newly visible nodes

Make Tree scrolling and resizing more efficient by only refreshing newly visible nodes #7357

Triggered via pull request February 5, 2025 12:22
Status Success
Total duration 11m 58s
Artifacts

static_analysis.yml

on: pull_request
Fit to window
Zoom out
Zoom in