Merge branch 'bugfix/michele/788-gui-globals' into 'master'

[gui] Display globals in original order.

Closes #788

See merge request frama-c/frama-c!2514

Changelog

@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-*  GUI       [2020/01/24] Fix order of globals in the source panel.
+
 ##################################
 Open Source Release 20.0 (Calcium)
 ##################################

src/plugins/gui/filetree.ml

@@ -452,7 +452,7 @@ module State = struct
   let cil_files () =
     let files = Globals.FileIndex.get_files () in
     let globals_of_file f =
-      let all = Globals.FileIndex.get_symbols f in
+      let all = List.rev (Globals.FileIndex.get_symbols f) in
       let is_unused = function
         | GFun ({svar = vi},_) | GFunDecl (_, vi, _)
         | GVar (vi, _, _) | GVarDecl (vi, _) ->