Glatex Extension
Compile LaTeX from Google Docs
Glatex Extensionとは何ですか？
Glatex Extensionはsinasehlaverによって開発されたChromeの拡張機能で、その主な機能は「Compile LaTeX from Google Docs」です。
拡張機能のスクリーンショット
Glatex Extension拡張機能のCRXファイルをダウンロード
Glatex Extension拡張子のファイルをcrx形式でダウンロードし、ブラウザにChrome拡張機能を手動でインストールするか、crxファイルを友達と共有して簡単にChrome拡張機能をインストールします。
拡張機能の使用方法
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. 拡張機能の基本情報
| 名前 |  Glatex Extension |
| ID | flbiiboegohonbaphidjfemmbeoknpjf |
| 公式URL | https://chromewebstore.google.com/detail/glatex-extension/flbiiboegohonbaphidjfemmbeoknpjf |
| 説明 | Compile LaTeX from Google Docs |
| ファイルサイズ | 137 KB |
| インストール数 | 86 |
| 現在のバージョン | 1.40 |
| 最終更新日 | 2020-05-22 |
| 公開日 | 2020-05-22 |
| 開発者 | sinasehlaver |
| 支払い方法 | free |
| 拡張機能のウェブサイト | https://glatex.ceng.metu.edu.tr/ |
| 対応言語 | 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"
]
}
]
} | |
