diff --git a/src/GEOMGUI/GEOM_msg_fr.ts b/src/GEOMGUI/GEOM_msg_fr.ts index 64b178ba2..8f8e537f6 100644 --- a/src/GEOMGUI/GEOM_msg_fr.ts +++ b/src/GEOMGUI/GEOM_msg_fr.ts @@ -5,11 +5,11 @@ @default MEN_POP_CONCEAL_CHILDREN - + Conceal child items MEN_POP_DISCLOSE_CHILDREN - + Disclose child items BRep_API: command not done @@ -5993,23 +5993,25 @@ Voulez-vous en créer un nouveau ? GEOMGUI_CreationInfoWdg NO_INFO - + (No info available) VALUE - + Value PARAMETER - + Parameter OPERATION - + Creation operation CREATION_INFO_TITLE - + Information + +