Skip to content

A few changes of icons and tooltips#41

Merged
jourdain merged 1 commit intomasterfrom
icons_and_tooltips
Apr 9, 2026
Merged

A few changes of icons and tooltips#41
jourdain merged 1 commit intomasterfrom
icons_and_tooltips

Commits

Commits on Apr 8, 2026