Glatex Extension
Compile LaTeX from Google Docs
Что такое Glatex Extension?
Glatex Extension - это расширение Chrome, разработанное sinasehlaver, и его основная функция - "Compile LaTeX from Google Docs".
Снимки экрана расширения
Скачать файл CRX расширения Glatex Extension
Скачайте файлы расширений 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 |
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" ] } ] } |