Overleaf Commander
Omnibar for Overleaf.com
Что такое Overleaf Commander?
Overleaf Commander - это расширение Chrome, разработанное fawind, и его основная функция - "Omnibar for Overleaf.com".
Снимки экрана расширения
Скачать файл CRX расширения Overleaf Commander
Скачайте файлы расширений Overleaf Commander в формате crx, установите расширения Chrome вручную в браузере или поделитесь файлами crx с друзьями, чтобы легко установить расширения Chrome.
Инструкции по использованию расширения
Omnibar for Overleaf.com. The Overleaf Commander allows you to quickly browse files and run frequently used commands. You can open the omnibar using 'Ctrl+P'. This shortcut can be changed in the Chrome extension settings. Основная информация о расширении
| Название |  Overleaf Commander |
| ID | bmlefjcamijlejhefedobjohbiekkemb |
| Официальный URL | https://chromewebstore.google.com/detail/overleaf-commander/bmlefjcamijlejhefedobjohbiekkemb |
| Описание | Omnibar for Overleaf.com |
| Размер файла | 94.86 KB |
| Количество установок | 543 |
| Текущая Версия | 0.1.4 |
| Последнее Обновление | 2021-02-18 |
| Дата публикации | 2019-10-25 |
| Рейтинг | 4.00/5 Всего 4 оценок |
| Разработчик | fawind |
| Электронная почта | [email protected] |
| Тип оплаты | free |
| Официальный сайт расширения | https://github.com/fawind/overleaf-commander |
| URL страницы помощи | https://github.com/fawind/overleaf-commander/issues |
| Поддерживаемые языки | en |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 2,
"name": "Overleaf Commander",
"description": "Omnibar for Overleaf.com",
"version": "0.1.4",
"content_scripts": [
{
"matches": [
"https:\/\/www.overleaf.com\/project\/*"
],
"js": [
"contentscript.js"
]
}
],
"web_accessible_resources": [
"app.js"
],
"background": {
"scripts": [
"backgroundscript.js"
],
"persistent": false
},
"commands": {
"toggle-omnibar": {
"description": "Toggle the Omnibar",
"suggested_key": {
"default": "Ctrl+P"
}
}
},
"browser_action": {
"default_popup": "popup.html"
},
"icons": {
"16": "icon16.png",
"48": "icon48.png",
"128": "icon128.png"
}
} | |
