Plugin v.1.3.8

Changelog:

MINOR

• Selecting "Discard Changes" when e.g. switching branches with active changes now works with a hard reset instead of resetting the files individually via checkout
• When selecting all changed files and doing a revert, a hard reset is performed instead of resetting the files individually
• Reduced the performance impact of the Annotator and the EditorColorizer, both now use a Divide and Conquer style algorithm that tries to reduce the amount of necessary modelToView calls as much as possible

BUGFIXES

• Fix: Reverting a single file throws a NullPointerException
• Fix: Exception when closing the Plugin Dialogs via ESC button
• Fix: No Icon for a section of deleted lines in the EditorColorizer (located to the left in an editor, shows the changed lines of the file)