Menu
▾
▴
#39 Ayuda por palabra clave
El usuario podrá consultar la ayuda sobre una palabra clave, seleccionando una palabra y presionando la tecla F1.
Adicionalmente se podría configurar un Tooltip (descripción emergente) que permita, al situar o pulsar con el ratón sobre alguna palabra clave, mostrar un resumen de la ayuda para informar al usuario de la finalidad de la palabra clave.
Discussion
Anonymous
En otros tiempos Coq permitía búsqueda de funciones por tipo lo cual fue descontinuado. Se podría hacer de alguna manera sencilla a nivel de COOP?