From ccf695a9b60f4be0c51709495c5d1aa1db7880fb Mon Sep 17 00:00:00 2001 From: Gautier Hattenberger Date: Mon, 19 Jan 2015 18:19:33 +0100 Subject: [PATCH] [papgets] display A/C id in Papget Editor's box title --- sw/lib/ocaml/papget.ml | 3 +++ sw/lib/ocaml/widgets.glade | 3 ++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/sw/lib/ocaml/papget.ml b/sw/lib/ocaml/papget.ml index 93b45bcac9..9e733e3720 100644 --- a/sw/lib/ocaml/papget.ml +++ b/sw/lib/ocaml/papget.ml @@ -243,6 +243,9 @@ object (self) let file = Env.paparazzi_src // "sw" // "lib" // "ocaml" // "widgets.glade" in let dialog = new Gtk_papget_editor.papget_editor ~file () in + let ac_id = PC.get_prop "ac_id" config "Any" in + dialog#toplevel#set_title ("Papget Editor (A/C: "^ac_id^")"); + let tagged_renderers = Lazy.force PR.lazy_tagged_renderers in let strings = List.map fst tagged_renderers in diff --git a/sw/lib/ocaml/widgets.glade b/sw/lib/ocaml/widgets.glade index 3d3e9bbf25..bf111e9a43 100644 --- a/sw/lib/ocaml/widgets.glade +++ b/sw/lib/ocaml/widgets.glade @@ -102,8 +102,9 @@ white True - Papget Editor + Papget Editor (A/C: Any) True + 300 True