Cómo hacer una superposición en Emacs como la siguiente (tal vez no sea una superposición, no lo sé, es de company-coq inline-docs):
overlays
documentation
Stardiviner
fuente
fuente
(overlay-put OVERLAY 'after-string STR)
no tiene fontify como en screencast.ins-str
encompany-coq--show-definition-overlay-at-point
. Caras y estilos específicos existirán como propiedades de texto en esa cadena. Propiedades del texto: Propiedades especiales es una referencia útil para decodificar esas propiedades.Creé un repositorio para esto, https://github.com/stardiviner/inline-docs.el y un módulo que utilizo
inline-docs.el
para eldoc. https://github.com/stardiviner/eldoc-overlay-mode .fuente