29.06.2013 Views

Manuel de Kile - KDE Documentation

Manuel de Kile - KDE Documentation

Manuel de Kile - KDE Documentation

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapitre 13<br />

Scriptage<br />

13.1 Scriptage dans <strong>Kile</strong><br />

<strong>Manuel</strong> <strong>de</strong> <strong>Kile</strong><br />

L’écriture <strong>de</strong> scripts dans <strong>Kile</strong> vous permet d’exécuter du co<strong>de</strong> ECMAScript. Les scripts peuvent<br />

être gérés <strong>de</strong>pis le panneau scripts <strong>de</strong> la barre latérale.<br />

13.2 Référence <strong>de</strong> l’API<br />

Nous décrivons dans cette section l’interface <strong>de</strong> programmation <strong>de</strong> scripts <strong>de</strong> <strong>Kile</strong>.<br />

IMPORTANT<br />

Notez que l’API <strong>de</strong> scriptage n’est pas encore finalisée. L’API décrite ci-<strong>de</strong>ssous est susceptible <strong>de</strong><br />

changer dans les versions à venir <strong>de</strong> <strong>Kile</strong>.<br />

Tout d’abord, l’environnement d’exécution <strong>de</strong> scripts <strong>de</strong> <strong>Kile</strong> fournit un objet global appelé<br />

« kile », qui comporte les métho<strong>de</strong>s suivantes :<br />

(kile).currentTextDocument()<br />

retourne un objet <strong>Kile</strong>TextDocument qui reflète le document texte actuellement actif. Retourne<br />

null si aucun document n’est actif.<br />

(kile).getInputValue((caption, , label))<br />

Ouvre une boîte <strong>de</strong> dialogue avec la légen<strong>de</strong> et le label spécifiés. Retourne la valeur que<br />

l’utilisateur a saisi.<br />

Les objets du type <strong>Kile</strong>TextDocument représentent les documents texte dans <strong>Kile</strong>. Ils ont les propriétés<br />

suivantes :<br />

(<strong>Kile</strong>TextDocument).backspace()<br />

Supprime le caractère situé immédiatement avant la position actuelle du curseur et déplace<br />

le curseur d’un caractère vers la gauche dans le texte.<br />

(<strong>Kile</strong>TextDocument).cursorLeft()<br />

Déplace le curseur d’un caractère en arrière dans le texte.<br />

(<strong>Kile</strong>TextDocument).cursorRight()<br />

Déplace le curseur d’un caractère en avant dans le texte.<br />

69

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!