http://docs.kde.org/
Anterior Siguiente

Capítulo 14. Uso de scripts

Tabla de contenidos

Uso de scripts en Kile
Ejecutar un script
Referencia de la API
Funciones globales
El prototipo cursor
El prototipo intervalo
El API «View»
La API «Document»
La API de Kile
Ejemplos
Ejemplo 1: reemplazar el nombre del entorno
Ejemplo 2: reemplazar una orden LATEX de tipo de letra.
Ejemplo 3: Rodear texto seleccionado

Uso de scripts en Kile

La función de uso de scripts de Kile permite la ejecución de código ECMAScript, ampliamente conocido como JavaScript. Encontrará muchos tutoriales, que proporcionan información sobre los objetos (variables), las funciones y las propiedades soportados por JavaScript.

El soporte para la ejecución de scripts se puede activar en el diálogo de configuración de Kile: Preferencias → Configurar Kile… → Kile+Ejecución de scripts.

Activar o desactivar el soporte para la ejecución de scripts

Al activar la ejecución de scripts, aparece un nuevo panel para la gestión de scripts en la barra lateral, en el que se puede administrar los scripts:

El panel de administración de scripts de la barra lateral

Esta ventana contiene seis iconos, que permiten realizar diversas tareas:

  • Ejecutar el script seleccionado.

  • Crear un script nuevo.

  • Abrir el script seleccionado en el editor.

  • Configurar una secuencia de teclas para el script seleccionado.

  • Eliminar una secuencia de teclas asignada.

  • Actualizar la lista de los scripts disponibles, que se encuentran en $KDEDIR/share/apps/kile/scripts/.