Si usted es un fan de la extensión Greasemonkey para Firefox puede que se pregunte cómo cambiar el editor de scripts / espectador como no hay ninguna opción para esto en la interfaz de usuario. Es aún peor cuando se descarga scripts de algún sitio web y los finales de línea no funcionan en el editor por defecto inferior.
Santo Jumbled el Bloc de notas, Batman!
Cambiar editor de scripts Greasemonkey
Type about:config en la barra de direcciones, y después se filtra por el texto siguiente:
greasemonkey.editor
Si la clave no existe, haga clic en el área vacía y crear una nueva cadena, dando los siguientes valores:
- Nombre de clave: greasemonkey.editor
- Valor clave: Ruta de acceso completa a un editor que no chupa tanto como el bloc de notas.
Este truco debería funcionar para cualquier sistema operativo compatible con Firefox. Gracias a Daniel por haber olvidado cómo hacerlo e inspirador del artículo. =)
Aucun commentaire:
Enregistrer un commentaire