Shortleaf

Custom keyboard shortcuts for Overleaf.

Wat is Shortleaf?

Shortleaf is een Chrome-extensie ontwikkeld door Andre Alcantara, en de belangrijkste functie is "Custom keyboard shortcuts for Overleaf.".

Extensie Screenshots

screenshot
screenshot
screenshot

Download het CRX-bestand van de extensie Shortleaf

Download Shortleaf-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

                        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.

Basisinformatie over de Extensie

Naam Shortleaf Shortleaf
ID hmkemgnhfglmggklpfodjgkabaicchjn
Officiële URL https://chromewebstore.google.com/detail/shortleaf/hmkemgnhfglmggklpfodjgkabaicchjn
Beschrijving Custom keyboard shortcuts for Overleaf.
Bestandsgrootte 21.72 KB
Aantal Installaties 426
Huidige Versie 1.0.2
Laatst Bijgewerkt 2023-10-31
Publicatiedatum 2021-11-17
Beoordeling 5.00/5 Totaal 11 Beoordelingen
Ontwikkelaar Andre Alcantara
E-mail [email protected]
Betalingswijze free
Ondersteunde Talen 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"
    }
}

Gerelateerde Extensies

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