diff --git a/Changelog b/Changelog index c5023df3a4b46184205f870c71dc607fe6e1f26f..9d20d173d97cf0ae6f98df8df9293e6530c257f5 100644 --- a/Changelog +++ b/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) ################################## diff --git a/src/plugins/gui/filetree.ml b/src/plugins/gui/filetree.ml index d948016b8c0b2210e44a5c23653361245f76cb98..6de5eb7f770e4a32d80c8f34ac81f9f89f7f50d1 100644 --- a/src/plugins/gui/filetree.ml +++ b/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, _) ->