Glatex Extension
Compile LaTeX from Google Docs
Hvad er Glatex Extension?
Glatex Extension er en Chrome-udvidelse udviklet af sinasehlaver, og dens hovedfunktion er "Compile LaTeX from Google Docs".
Udvidelsesskærmbilleder
Download Glatex Extension-udvidelses-CRX-fil
Download Glatex Extension-udvidelsesfiler i crx-format, installer Chrome-udvidelser manuelt i browseren eller del crx-filer med venner for nemt at installere Chrome-udvidelser.
Brugsanvisning til Udvidelsen
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.
Grundlæggende oplysninger om udvidelsen
Navn | Glatex Extension |
ID | flbiiboegohonbaphidjfemmbeoknpjf |
Officiel URL | https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf |
Beskrivelse | Compile LaTeX from Google Docs |
Filstørrelse | 137 KB |
Antal Installationer | 86 |
Nuværende Version | 1.40 |
Senest Opdateret | 2020-05-22 |
Udgivelsesdato | 2020-05-22 |
Udvikler | sinasehlaver |
Betalingsmetode | free |
Udvidelseswebsted | https://glatex.ceng.metu.edu.tr/ |
Understøttede Sprog | 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" ] } ] } |