Shortleaf

Custom keyboard shortcuts for Overleaf.

Cos'è Shortleaf?

Shortleaf è un'estensione di Chrome sviluppata da Andre Alcantara, e la sua funzione principale è "Custom keyboard shortcuts for Overleaf.".

Screenshot dell'Estensione

screenshot
screenshot
screenshot

Scarica il file CRX dell'estensione Shortleaf

Scarica i file di estensione Shortleaf in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.

Istruzioni per l'Uso dell'Estensione

                        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.

Informazioni di Base sull'Estensione

Nome Shortleaf Shortleaf
ID hmkemgnhfglmggklpfodjgkabaicchjn
URL Ufficiale https://chromewebstore.google.com/detail/shortleaf/hmkemgnhfglmggklpfodjgkabaicchjn
Descrizione Custom keyboard shortcuts for Overleaf.
Dimensione del File 21.72 KB
Conteggio Installazioni 426
Versione Corrente 1.0.2
Ultimo Aggiornamento 2023-10-31
Data di Pubblicazione 2021-11-17
Valutazione 5.00/5 Totale 11 Valutazioni
Sviluppatore Andre Alcantara
Email [email protected]
Tipo di Pagamento free
Lingue Supportate 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": [
                ""
            ]
        }
    ],
    "permissions": [
        "storage"
    ],
    "options_page": "options.html",
    "action": {
        "default_popup": "popup.html"
    }
}

Estensioni Correlate

Favorite Keys
Favorite Keys
Mute Tab Shortcuts
Mute Tab Shortcuts
Keyboard Shortcuts for Messenger
Keyboard Shortcuts for Messenger
Keyboard Shortcuts
Keyboard Shortcuts