Alguien ya solicitó una mejor función de búsqueda y reemplazo en el editor JSL. Estoy de acuerdo con eso porque el existente me parece confuso. Pero lo que realmente me gustaría ver son capacidades de marcadores en el editor JSL, con control mediante pulsaciones de teclas. Ejemplo: ctrl + F2 activa / desactiva el marcador. F2 pasa al siguiente marcador. Shift F2 se mueve al marcador anterior.
Relacionado: Hay una función F3 en la que, si tiene texto resaltado, saltará a la próxima vez que se encuentre esa cadena , pero sería bueno tener un shift-F3 que vaya en la dirección opuesta (hacia arriba). No importa esta última parte ... No me di cuenta de que ctrl + shift + F3 va a la anterior.
Gracias,
Miguel
