Choisissez une extension à modifier dans le menu déroulant et cliquez sur le bouton « Sélectionner ». Cliquez une fois sur n’importe quel nom de fichier pour le charger dans l’éditeur, puis faites vos modifications. N’oubliez pas d’enregistrer vos modifications (bouton « Mettre à jour le fichier ») quand vous aurez terminé.