Shortleaf

Custom keyboard shortcuts for Overleaf.

Hvad er Shortleaf?

Shortleaf er en Chrome-udvidelse udviklet af Andre Alcantara, og dens hovedfunktion er "Custom keyboard shortcuts for Overleaf.".

Udvidelsesskærmbilleder

screenshot
screenshot
screenshot

Download Shortleaf-udvidelses-CRX-fil

Download Shortleaf-udvidelsesfiler i crx-format, installer Chrome-udvidelser manuelt i browseren eller del crx-filer med venner for nemt at installere Chrome-udvidelser.

Brugsanvisning til Udvidelsen

                        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.

Grundlæggende oplysninger om udvidelsen

Navn Shortleaf Shortleaf
ID hmkemgnhfglmggklpfodjgkabaicchjn
Officiel URL https://chromewebstore.google.com/detail/shortleaf/hmkemgnhfglmggklpfodjgkabaicchjn
Beskrivelse Custom keyboard shortcuts for Overleaf.
Filstørrelse 21.72 KB
Antal Installationer 426
Nuværende Version 1.0.2
Senest Opdateret 2023-10-31
Udgivelsesdato 2021-11-17
Bedømmelse 5.00/5 Samlet 11 Bedømmelser
Udvikler Andre Alcantara
E-mail [email protected]
Betalingsmetode free
Understøttede Sprog 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"
    }
}

Relaterede Udvidelser

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