LES MARQUES



Tikeditor permet d'insérer des marques dans votre script.
Ces marques ne sont pas sauvegardées dans le code, elle ne peuvent servir qu'au cours d'une session de Tikeditor, tant que le texte n'est pas détruit. Tikeditor gère dans ce cadre les marques dans chaque document.

Le menu "marques"  permet d'accéder aux fonctions de gestion des marques :
La fenêtre de résultat peut se clore par un clic-droit, comme toutes les fenêtres annexes de Tikeditor.