Glatex Extension
Compile LaTeX from Google Docs
Apa itu Glatex Extension?
Glatex Extension adalah ekstensi Chrome yang dikembangkan oleh sinasehlaver, dan fitur utamanya adalah "Compile LaTeX from Google Docs".
Screenshot Ekstensi
Unduh Berkas CRX Ekstensi Glatex Extension
Unduh file ekstensi Glatex Extension dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.
Petunjuk Penggunaan Ekstensi
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.
Informasi Dasar Ekstensi
Nama | Glatex Extension |
ID | flbiiboegohonbaphidjfemmbeoknpjf |
URL Resmi | https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf |
Deskripsi | Compile LaTeX from Google Docs |
Ukuran File | 137 KB |
Jumlah Instalasi | 86 |
Versi Saat Ini | 1.40 |
Terakhir Diperbarui | 2020-05-22 |
Tanggal Publikasi | 2020-05-22 |
Pengembang | sinasehlaver |
Tipe Pembayaran | free |
Situs Ekstensi | https://glatex.ceng.metu.edu.tr/ |
Bahasa yang Didukung | 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" ] } ] } |