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
扩展基本信息
名称 | Play Framework Tools |
ID | dchhggpgbommpcjpogaploblnpldbmen |
官方URL | 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" ] } |