Co to jest Glatex Extension?

Glatex Extension to rozszerzenie Chrome opracowane przez sinasehlaver, a jego główną funkcją jest „Compile LaTeX from Google Docs”.

Zrzuty ekranu rozszerzenia

Pobierz plik CRX rozszerzenia Glatex Extension

Pobierz pliki rozszerzeń Glatex Extension w formacie crx, zainstaluj ręcznie rozszerzenia Chrome w przeglądarce lub udostępnij pliki crx znajomym, aby łatwo zainstalować rozszerzenia Chrome.

Instrukcja Użytkowania Rozszerzenia

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.

Podstawowe informacje o rozszerzeniu

Nazwa	Glatex Extension
ID	flbiiboegohonbaphidjfemmbeoknpjf
Oficjalny URL	https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf
Opis	Compile LaTeX from Google Docs
Rozmiar pliku	137 KB
Liczba instalacji	86
Aktualna Wersja	1.40
Ostatnia Aktualizacja	2020-05-22
Data Publikacji	2020-05-22
Deweloper	sinasehlaver
Typ Płatności	free
Strona Rozszerzenia	https://glatex.ceng.metu.edu.tr/
Obsługiwane Języki	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" ] } ] }