Les marques sont utilisées comme pointeurs stables dans un tampon de texte. Le curseur est un exemple, mais les marques sont souvent utilisées pour des raisons internes (non visibles par l'utilisateur). Supposons qu'il ya une marque pointant dans le milieu du mot suivant (|
signifie la marque, pas un caractère dans le texte):
foo|bar
Si nous insérer du texte « baz » après « toto » et avant « bar » la marque se comportera différemment selon la gravité.
Pour marquer avec gravité gauche:
foo|bazbar
avec gravité à droite (comme le curseur):
foobaz|bar
Un bon cas d'utilisation pour la gravité gauche est une marque qui pointe vers le début d'une certaine ligne du texte. Avec une gravité correcte, l'insertion de texte pourrait le déplacer vers un autre endroit, avec une gravité de gauche, il pointera toujours vers le début de la ligne (à condition que le saut de ligne avant ne soit pas supprimé, bien sûr).
La gravité de la marque détermine-t-elle la position de la barre de défilement? – Gtker
@Runner: Je ne comprends pas votre question. En général, les marques n'ont pas de représentation dans l'interface utilisateur à l'exception de deux cas particuliers: curseur et sélection liée. – doublep
pouvez-vous jeter un oeil à ce post: http://stackoverflow.com/questions/2750729/how-do-i-understand-what-the-following-means – Gtker