« Previous | Next » 

Revision 591

Added by Joaquín del Cerro Murciano about 8 years ago

refs #4137, modificado el editor de scrits para que en lugar de sacar un lista de sugerencias vacia (ctrl+space) si no hay ningunas instaladas, avise al usuario de ello.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences