rename Display -> Overlay
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
rename Display -> Overlay
Joachim Wuttke
requested to merge
j.mask112
into
main
Dec 15, 2023
Overview
0
Commits
23
Pipelines
2
Changes
31
many things are displayed, but only masks, lines, vertices and handles are overlayed.
Merge request reports
Loading