Shortleaf

Custom keyboard shortcuts for Overleaf.

Apa itu Shortleaf?

Shortleaf adalah ekstensi Chrome yang dikembangkan oleh Andre Alcantara, dan fitur utamanya adalah "Custom keyboard shortcuts for Overleaf.".

Screenshot Ekstensi

screenshot
screenshot
screenshot

Unduh Berkas CRX Ekstensi Shortleaf

Unduh file ekstensi Shortleaf dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.

Petunjuk Penggunaan Ekstensi

                        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.

Informasi Dasar Ekstensi

Nama Shortleaf Shortleaf
ID hmkemgnhfglmggklpfodjgkabaicchjn
URL Resmi https://chromewebstore.google.com/detail/shortleaf/hmkemgnhfglmggklpfodjgkabaicchjn
Deskripsi Custom keyboard shortcuts for Overleaf.
Ukuran File 21.72 KB
Jumlah Instalasi 426
Versi Saat Ini 1.0.2
Terakhir Diperbarui 2023-10-31
Tanggal Publikasi 2021-11-17
Penilaian 5.00/5 Total 11 Penilaian
Pengembang Andre Alcantara
Email [email protected]
Tipe Pembayaran free
Bahasa yang Didukung 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"
    }
}

Ekstensi Terkait

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