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.

Pour insérer une marque, on peut utiliser le menu Marques/Insérer une marque, ou cliquer sur l'icône de la Marque Jaune.

>> Une boite de dialogue s'ouvre permettant de choisir un nom de marques. Par défaut l'entrée de la spinbox est vide.

Les marques sont alors accessibles de deux manières qui n'ont pas le même rôle

1. Le menu "marques">>  permet d'accéder aux fonctions de gestion des marques :

2. Boutons de marque >> permet d'accéder au texte:

__________________

La fenêtre de résultat peut se clore par un clic-droit, comme toutes les fenêtres annexes de Tikeditor.