Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-28 01:53:48 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

[export] filter message list in log export popup

Browse Source
This commit is contained in:
Gautier Hattenberger
2014-03-14 23:14:43 +01:00
parent 6ed1442fcd
commit cc96dcf03b
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/logalizer/export.ml
+10
View File
@@ -274,8 +274,18 @@ let popup = fun ?(no_gui = false) xml log_filename data ->
(** Render the columns *)
display_columns w#treeview_messages model;
(** Build list of message name *)
let msg_names = Hashtbl.create 30 in
List.iter (fun (_, name, _) -> if not (Hashtbl.mem msg_names name) then Hashtbl.add msg_names name ()) data;
(** Fill the colums *)
let xml_class = ExtXml.child ~select:(fun c -> ExtXml.attrib c "name" = class_name) xml "class" in
(** Filter xml message *)
let xml_class = Xml.Element (
class_name, [],
List.filter (fun xml ->
let name = Xml.attrib xml "name" in
Hashtbl.mem msg_names name) (Xml.children xml_class)
) in
let prefs = read_preferences () in
fill_data w#treeview_messages model xml_class prefs;