Glatex Extension

Compile LaTeX from Google Docs

ما هو Glatex Extension؟

Glatex Extension هو إضافة Chrome تم تطويرها بواسطة sinasehlaver، والميزة الرئيسية لها هي "Compile LaTeX from Google Docs".

لقطات شاشة التمديد

screenshot
screenshot
screenshot
screenshot

تحميل ملف CRX للإضافة Glatex Extension

قم بتنزيل ملفات الامتداد Glatex Extension بتنسيق crx ، وقم بتثبيت الامتدادات يدويًا في متصفح Chrome ، أو شارك ملفات crx مع الأصدقاء لتثبيت الامتدادات بسهولة.

تعليمات استخدام التمديد

                        The extension is used for local compilation support for the related Google Add-on that let's users compile LaTeX through Google Docs documents. The extension is the intermediate for the local compilation server script which uses nativeMessaging to communicate with the extension. Extension does not pass any important information with these messages, these messages are only there for "signalling" the nativeMessaging host script (local compilation server script) to run. The mentioned script must be downloaded manually by user, there is no script included in the extension package. The extension is not interactive, it automatically checks whether the user is using the mentioned add-on to compile LaTeX and executes the mentioned script. In addition to that,  the extension provides a dark theme functionality.                    

معلومات أساسية عن التمديد

الاسم Glatex Extension Glatex Extension
ID flbiiboegohonbaphidjfemmbeoknpjf
عنوان URL الرسمي https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf
الوصف Compile LaTeX from Google Docs
حجم الملف 137 KB
عدد التثبيتات 86
النسخة الحالية 1.40
آخر تحديث 2020-05-22
تاريخ النشر 2020-05-22
المطور sinasehlaver
نوع الدفع free
موقع الإضافة https://glatex.ceng.metu.edu.tr/
اللغات المدعومة en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "Glatex Extension",
    "version": "1.40",
    "manifest_version": 2,
    "description": "Compile LaTeX from Google Docs",
    "background": {
        "scripts": [
            "background.js"
        ],
        "persistent": true
    },
    "browser_action": {
        "default_title": "Open dark theme dialog",
        "default_popup": "popup.html"
    },
    "permissions": [
        "nativeMessaging",
        "https:\/\/docs.google.com\/*"
    ],
    "icons": {
        "128": "logo_off.png"
    },
    "content_scripts": [
        {
            "matches": [
                "https:\/\/docs.google.com\/*"
            ],
            "css": [
                "style.css"
            ],
            "js": [
                "content.js"
            ]
        }
    ]
}