Git: not_merged is added.
MergeDialog: show only not merged sources.
DeleteBranchDialog: show only not merged branches.
DiffHighlighter: fix highlight.
Merge branch 'develop'