Fix --theme(…) function when legacy JS plugins are used#17458
Merged
philipp-spiess merged 1 commit intomainfrom Mar 31, 2025
Merged
Fix `--theme(…)` function when legacy JS plugins are used#17458philipp-spiess merged 1 commit intomainfrom
philipp-spiess merged 1 commit intomainfrom
