Skip to content

Add APIs to override decoration managers and customize decorations #1246

Add APIs to override decoration managers and customize decorations

Add APIs to override decoration managers and customize decorations #1246

Triggered via pull request October 18, 2024 10:36
Status Success
Total duration 4m 45s
Artifacts

symbols-check.yml

on: pull_request
Fit to window
Zoom out
Zoom in