Color box at details panel, instead of color text shadow. Fix #81
Fix #83 - search does not jump to found hit
Give a more detailed errors message when something fails opening a file. Related issue #82
Merge branch 'develop' of github.com:gitools/gitools into develop