Issue #67: Retranslation of the menu of the tree widget