Skip to content

tooltip to explain that selected lines are copied to the clipboard

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

(cherry picked from commit 71ef2e55)

Merge request reports