Glatex Extension

Compile LaTeX from Google Docs

什么是Glatex Extension?

Glatex Extension是由sinasehlaver开发的Chrome扩展程序,该扩展的主要功能是“Compile LaTeX from Google Docs”。

扩展截图

screenshot
screenshot
screenshot
screenshot

下载Glatex Extension扩展crx文件

下载Glatex Extension扩展crx格式的文件,手动将Chrome插件安装到浏览器中,也可以将crx文件分享给朋友,轻松安装Chrome插件。

扩展使用说明

                        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"
            ]
        }
    ]
}