Shortleaf
Custom keyboard shortcuts for Overleaf.
¿Qué es Shortleaf?
Shortleaf es una extensión de Chrome desarrollada por Andre Alcantara, y su función principal es "Custom keyboard shortcuts for Overleaf.".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión Shortleaf
Descarga archivos de extensión Shortleaf en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.
Instrucciones de Uso de la Extensión
This extension adds keyboard shortcuts to the popular Overleaf online latex editor. Examples include: - alt+a for \alpha - alt+\ for \frac{selected text here}{} - alt-` for ``selected text here'' These shortcuts are fully customizable.
Información Básica de la Extensión
Nombre | Shortleaf |
ID | hmkemgnhfglmggklpfodjgkabaicchjn |
URL Oficial | https://chromewebstore.google.com/detail/shortleaf/hmkemgnhfglmggklpfodjgkabaicchjn |
Descripción | Custom keyboard shortcuts for Overleaf. |
Tamaño del Archivo | 21.72 KB |
Cantidad de Instalaciones | 426 |
Versión Actual | 1.0.2 |
Última Actualización | 2023-10-31 |
Fecha de Publicación | 2021-11-17 |
Calificación | 5.00/5 Total de 11 Calificaciones |
Desarrollador | Andre Alcantara |
Correo electrónico | [email protected] |
Tipo de Pago | free |
Idiomas Soportados | en-US |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "Shortleaf", "description": "Custom keyboard shortcuts for Overleaf.", "version": "1.0.2", "icons": { "128": "icon128.png", "16": "icon16.png", "48": "icon48.png" }, "manifest_version": 3, "background": { "service_worker": "service-worker.js" }, "content_scripts": [ { "matches": [ "https:\/\/*.overleaf.com\/project\/*" ], "js": [ "content-script.js" ] }, { "matches": [ "https:\/\/*.overleaf.com\/project\/*" ], "js": [ "shortleaf.js" ], "world": "MAIN" } ], "web_accessible_resources": [ { "resources": [ "shortleaf.js", "popup.js", "shortleaf_pages.js", "shortleaf_pages.css", "default_config.json", "*.png" ], "matches": [ " |