Play Framework Tools
This extension helps developers more efficiently build apps with the Play Framework.
什麼是Play Framework Tools?
Play Framework Tools是由https://www.playframework.com開發的Chrome擴展程式,該擴展的主要功能是“This extension helps developers more efficiently build apps with the Play Framework.”。
擴展截圖
下載Play Framework Tools擴展crx文件
下載Play Framework Tools擴展crx格式的文件,手動將Chrome擴充功能安裝到瀏覽器中,也可以將crx文件分享給朋友,輕鬆安裝Chrome擴充功能。
擴展使用說明
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 擴展基本資訊
| 名稱 | |
| ID | dchhggpgbommpcjpogaploblnpldbmen |
| 官方網址 | https://chromewebstore.google.com/detail/play-framework-tools/dchhggpgbommpcjpogaploblnpldbmen |
| 簡介 | This extension helps developers more efficiently build apps with the Play Framework. |
| 檔案大小 | 94.57 KB |
| 安裝次數 | 627 |
| 目前版本 | 0.0.12 |
| 更新時間 | 2014-09-02 |
| 上架時間 | 2014-09-01 |
| 評分 | 4.71/5 共 14 次評分 |
| 開發者 | https://www.playframework.com |
| 付費類型 | free |
| 支援的語言 | 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"
]
} | |