doc: use the exact text label of a GUI item

Authored by ltoscano on Apr 20 2018, 9:35 PM.

Description

doc: use the exact text label of a GUI item

(cherry picked from commit cb091dbe7695f076633d424b0c645f022f694b8a)

backport to 5.12 LTS

Details

Committed
lueckMay 30 2018, 10:13 AM
Parents
R119:cb21d756f989: Update translations docbook to 5.12
Branches
Unknown
Tags
Unknown