Close # 177, close #178, close #180. All about annotations highlighting. close #179 about duplicated tabs.