Réglage de la position du curseur dans PyGTK (pour un plugin Gedit)

Question

Je développe un plugin Gedit qui est construit sur PyGTK. J'essaie de comprendre comment programmer le curseur où aller. Par exemple, j'aimerais que le curseur se place automatiquement à droite avant le premier "|" (pipe) dans la ligne actuelle.

Des idées ou des points de départ? J'utilise l'API Gedit jusqu'à présent (right here) ce qui est utile pour la plupart mais ne mentionne rien sur la manipulation de la position du curseur.

Answer 1

En regardant l'API plugin gedit, il ressemble à gedit.Document est une sous-classe de GtkSourceBuffer qui se GtkTextBuffer sous-classes, dont le dernier a l'API de manipulation du curseur que vous voulez. En particulier, get_insert() et place_cursor(where) donnent les bases du déplacement du curseur. Pour les autres opérations (par exemple, obtenir la ligne en cours), vous devrez convertir en GtkTextIter en utilisant get_iter_at_mark(mark); le curseur est essentiellement juste un GtkTextMark spécial.