Glatex Extension
Compile LaTeX from Google Docs
Co je Glatex Extension?
Glatex Extension je rozšíření Chrome vyvinuté sinasehlaver, a jeho hlavní funkcí je „Compile LaTeX from Google Docs“.
Snímky obrazovky rozšíření
Stáhnout soubor CRX rozšíření Glatex Extension
Stáhněte si soubory rozšíření Glatex Extension ve formátu crx, ručně nainstalujte rozšíření Chrome do prohlížeče nebo sdílejte soubory crx s přáteli, abyste jednoduše nainstalovali rozšíření Chrome.
Pokyny pro Použití Rozšíření
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. Základní Informace o Rozšíření
| Název |  Glatex Extension |
| ID | flbiiboegohonbaphidjfemmbeoknpjf |
| Oficiální URL | https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf |
| Popis | Compile LaTeX from Google Docs |
| Velikost souboru | 137 KB |
| Počet instalací | 86 |
| Aktuální Verze | 1.40 |
| Poslední Aktualizace | 2020-05-22 |
| Datum Vydání | 2020-05-22 |
| Vývojář | sinasehlaver |
| Typ Platby | free |
| Webové stránky Rozšíření | https://glatex.ceng.metu.edu.tr/ |
| Podporované Jazyky | 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"
]
}
]
} | |
