new EditeurNomPtOuDte(app, input)
- Source:
Objet associé à un input d'une boîte de dialogue et chargé de regarder si la syntaxe du contenu de l'éditeur est correcte pour un nom de point ou de droite et si la listePr de l'application ne contient pas déjà un point ou une droite non intermédiaire ayant ce nom.
Parameters:
Name | Type | Description |
---|---|---|
app |
MtgApp | L'application mtgApp propriétaire |
input |
Le input associé |