Skip to content
GitLab

tooltip to explain that selected lines are copied to the clipboard

Merged Christophe Geuzaine requested to merge cherry-pick-71ef2e55 into gmsh_4_8_1_branch

(cherry picked from commit 71ef2e55)