che-server/plugins/plugin-java
Mykola Morhun c7ed1d8336 Add ability to switch between files in Git Diff widget (#5965)
* Performs small refactoring of git-compare-related functionality.
* Adds ability to switch to the next/previous file in git compare widget.
* Adds hotkeys for next and previous diff
* Adds Save Changes button for git compare widget.
* Fixes compare with deleted file bug.
* Moves Git Diff widget from iframe to IDE.
2017-09-12 14:13:52 +03:00
..
che-plugin-java-ext-jdt GWT dependency should not be there. It's running on server side. 2017-09-11 10:52:37 +02:00
che-plugin-java-ext-lang-client Add ability to switch between files in Git Diff widget (#5965) 2017-09-12 14:13:52 +03:00
che-plugin-java-ext-lang-server CHE-5721: Importing java formatter for the project or workspace (#6077) 2017-09-08 16:19:31 +03:00
che-plugin-java-ext-lang-shared RELEASE: Set next development version (#6067) 2017-08-23 11:11:34 +03:00
che-plugin-java-plain RELEASE: Set next development version (#6067) 2017-08-23 11:11:34 +03:00
pom.xml RELEASE: Set next development version (#6067) 2017-08-23 11:11:34 +03:00