├── .gitignore ├── LICENSE ├── README ├── chrome.manifest ├── content ├── formats │ ├── format-loader.xul │ └── play-formatter.js ├── images │ └── play-icon.png ├── play-custom-settings.js └── play.js ├── install.rdf └── update.rdf /.gitignore: -------------------------------------------------------------------------------- 1 | DS_store 2 | build 3 | *.iml 4 | *.xpi 5 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/LICENSE -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- 1 | Selenium IDE plugin for the Play! framework 2 | -------------------------------------------------------------------------------- /chrome.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/chrome.manifest -------------------------------------------------------------------------------- /content/formats/format-loader.xul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/content/formats/format-loader.xul -------------------------------------------------------------------------------- /content/formats/play-formatter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/content/formats/play-formatter.js -------------------------------------------------------------------------------- /content/images/play-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/content/images/play-icon.png -------------------------------------------------------------------------------- /content/play-custom-settings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/content/play-custom-settings.js -------------------------------------------------------------------------------- /content/play.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/content/play.js -------------------------------------------------------------------------------- /install.rdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/install.rdf -------------------------------------------------------------------------------- /update.rdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manuelbernhardt/play-selenium-plugin/HEAD/update.rdf --------------------------------------------------------------------------------