EditeurNomPtOuDte

EditeurNomPtOuDte

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é