Merge branch 'master' into doubleview
#14 Changed Synchronizer. Now it works much more stable and fast.
#14 Double_view now closing after second usage of command on the same file.
#14 Added selection listener. Now when you click on hint in hint panel text associated with this hint will highlight.
Little refactoring in double view and HintsRenderer. In HintsRenderer moved code for loading hint file in separate method.
#14 Added ability to reload hint-file for existing double_view.
#14 Added methods for finding working double_view commands by view ids.
Merge remote-tracking branch 'origin/doubleview'