Glatex Extension
Compile LaTeX from Google Docs
What is Glatex Extension?
Glatex Extension is a Chrome extension developed by sinasehlaver, and its main feature is "Compile LaTeX from Google Docs".
Extension Screenshots
Download Glatex Extension Extension CRX File
Download Glatex Extension extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
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.
Extension Basic Information
Name | Glatex Extension |
ID | flbiiboegohonbaphidjfemmbeoknpjf |
Official URL | https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf |
Description | Compile LaTeX from Google Docs |
File Size | 137 KB |
Installation Count | 86 |
Current Version | 1.40 |
Last Updated | 2020-05-22 |
Publish Date | 2020-05-22 |
Developer | sinasehlaver |
Payment Type | free |
Extension Website | https://glatex.ceng.metu.edu.tr/ |
Supported Languages | 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" ] } ] } |