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

[ground_segment] improve readability of icons and add a few more

Browse Source
This commit is contained in:
Gautier Hattenberger
2014-12-10 22:20:11 +01:00
parent e6a6aa9f0c
commit 3c8ee22880
19 changed files with 390 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/logalizer/plot.ml
+1 -1
View File
@@ -801,7 +801,7 @@ let rec plot_window = fun ?export init ->
let oid = plotter#get_oid in
Hashtbl.add windows oid ();
plotter#set_icon (Some (GdkPixbuf.from_file Env.icon_file));
plotter#set_icon (Some (GdkPixbuf.from_file Env.icon_log_file));
let vbox = GPack.vbox ~packing:plotter#add () in
let quit = fun () -> GMain.Main.quit (); exit 0 in
let close = fun () ->
sw/logalizer/plotter.ml
+1 -1
View File
@@ -350,7 +350,7 @@ let rec plot_window = fun window ->
Hashtbl.add windows oid [];
ignore (plotter#parse_geometry window.geometry);
plotter#set_icon (Some (GdkPixbuf.from_file Env.icon_file));
plotter#set_icon (Some (GdkPixbuf.from_file Env.icon_rtp_file));
let vbox = GPack.vbox ~packing:plotter#add () in
let menubar = GMenu.menu_bar ~packing:vbox#pack () in
let factory = new GMenu.factory menubar in