Play Framework Tools
This extension helps developers more efficiently build apps with the Play Framework.
Co to jest Play Framework Tools?
Play Framework Tools to rozszerzenie Chrome opracowane przez https://www.playframework.com, a jego główną funkcją jest „This extension helps developers more efficiently build apps with the Play Framework.”.
Zrzuty ekranu rozszerzenia
Pobierz plik CRX rozszerzenia Play Framework Tools
Pobierz pliki rozszerzeń Play Framework Tools 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
Features
* Auto-Refresh on Change
* Open Editor to Error
Notes
To enable the auto-refresh in Play Framework applications you need to install an SBT plugin. More info: https://github.com/jamesward/play-auto-refresh
Version 0.0.11 & 0.0.12
- The src file linking should work in Play 2.2 & 2.3
Version 0.0.9 & 0.0.10
- Attempt to fix the URL matching glob
Version 0.0.8
- Works on any Play port
Version 0.0.7
- Preserve scroll position
Version 0.0.5 & 0.0.6
- Add the jQuery map file
Version 0.0.4
- Small bug fixes
Version 0.0.3
- When a editor URL does not have an HTTP handler, we can't seem to open it via AJAX (and thus avoiding a new tab to be opened). Until we find a workaround for it, we open the URL in _blank (new tab).
Version 0.0.2
- Adds support to click a compile error and have an IDE opened to the correct line. More details:
https://github.com/jamesward/play-auto-refresh
Version 0.0.1
- Includes support for auto-refreshing the browser whenever a compile runs. *Requires the "play-auto-refresh" SBT plugin: https://github.com/jamesward/play-auto-refresh Podstawowe informacje o rozszerzeniu
| Nazwa |  Play Framework Tools |
| ID | dchhggpgbommpcjpogaploblnpldbmen |
| Oficjalny URL | https://chromewebstore.google.com/detail/play-framework-tools/dchhggpgbommpcjpogaploblnpldbmen |
| Opis | This extension helps developers more efficiently build apps with the Play Framework. |
| Rozmiar pliku | 94.57 KB |
| Liczba instalacji | 627 |
| Aktualna Wersja | 0.0.12 |
| Ostatnia Aktualizacja | 2014-09-02 |
| Data Publikacji | 2014-09-01 |
| Ocena | 4.71/5 Łącznie 14 Oceny |
| Deweloper | https://www.playframework.com |
| Typ Płatności | free |
| Obsługiwane Języki | en-US |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 2,
"name": "Play Framework Tools",
"description": "This extension helps developers more efficiently build apps with the Play Framework.",
"version": "0.0.12",
"icons": {
"128": "icon_128.png"
},
"options_page": "options.html",
"background": {
"scripts": [
"background.js"
]
},
"content_scripts": [
{
"matches": [
"http:\/\/localhost\/*",
"http:\/\/*.localhost\/*"
],
"js": [
"jquery-1.9.0.min.js",
"play-framework-chrome-tools.js"
],
"run_at": "document_end"
}
],
"web_accessible_resources": [
"jquery.min.map"
]
} | |
