Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-10 06:59:54 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

[papgets] display A/C id in Papget Editor's box title

Browse Source
This commit is contained in:
Gautier Hattenberger
2015-01-19 18:19:33 +01:00
parent ea6bc1d901
commit ccf695a9b6
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/papget.ml
+3
View File
@@ -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
sw/lib/ocaml/widgets.glade
+2 -1
View File
@@ -102,8 +102,9 @@ white</property>
</widget>
<widget class="GtkWindow" id="papget_editor">
<property name="visible">True</property>
<property name="title" translatable="yes">Papget Editor</property>
<property name="title" translatable="yes">Papget Editor (A/C: Any)</property>
<property name="modal">True</property>
<property name="default_width">300</property>
<child>
<widget class="GtkVBox" id="vbox">
<property name="visible">True</property>