Merge branch 'master' of https://git.frama-c.com/frama-c/frama-c into...

Merge branch 'master' of https://git.frama-c.com/frama-c/frama-c into bugfix/tantignac/review-dev-plug-ins-guide

src/plugins/metrics/register_gui.ml

@@ -220,7 +220,7 @@ module ValueCoverageGUI = struct
   let name = "Value coverage"
 
   let result = ref None 
-  let highlight = ref true
+  let highlight = ref false
 
   let update_filetree = ref (fun _ -> ())
   let filetree_enabled = ref true