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

[ground_segment] different icons for the different applications of paparazzi.

Browse Source 
This should prevent the clicking on every icon and parsing through all the windows when we are searching for the messages.
closes #787
This commit is contained in:
karlito139
2014-08-06 15:11:11 +02:00
committed by Felix Ruess
parent fd2482beaa
commit 3fb33e8f84
14 changed files with 426 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/logalizer/play.ml
+1 -1
View File
@@ -39,7 +39,7 @@ let open_log = fun window adj () ->
let () =
let (serial_port, adj, speed) = Play_core.init () in
let icon = GdkPixbuf.from_file Env.icon_file in
let icon = GdkPixbuf.from_file Env.icon_rep_file in
let window = GWindow.dialog ~icon ~title:"Replay" ~width:300 () in
let quit = fun () -> GMain.Main.quit (); exit 0 in
ignore (window#connect#destroy ~callback:quit);