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
..
src	Add ability to switch between files in Git Diff widget (#5965)	2017-09-12 14:13:52 +03:00
pom.xml	RELEASE: Set next development version (#6067)	2017-08-23 11:11:34 +03:00