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

Prettier presentation of the flight plan editor

Browse Source
This commit is contained in:
Pascal Brisset
2007-11-16 15:04:45 +00:00
parent c1438f38ad
commit 3de306cd9e
3 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
conf/gcs/editor.xml
+1 -1
View File
@@ -1,6 +1,6 @@
<!DOCTYPE layout SYSTEM "layout.dtd">
<layout width="512" height="384">
<layout width="650" height="384">
<rows>
<widget size="256" name="map2d"/>
<widget name="editor"/>
sw/ground_segment/cockpit/editFP.ml
+5 -1
View File
@@ -125,7 +125,11 @@ let load_xml_file = fun geomap editor_frame accel_group xml_file ->
try
let xml = Xml.parse_file xml_file in
ignore (load_xml_fp geomap editor_frame accel_group ~xml_file xml);
geomap#fit_to_window ()
geomap#fit_to_window ();
match GWindow.toplevel geomap#canvas with
Some w ->
w#set_title (sprintf "%s (%s)" w#title (Filename.basename xml_file))
| None -> ()
with
Dtd.Prove_error(e) -> loading_error xml_file (Dtd.prove_error e)
| Dtd.Check_error(e) -> loading_error xml_file (Dtd.check_error e)
sw/ground_segment/cockpit/gcs.ml
+2 -1
View File
@@ -502,7 +502,8 @@ let _main =
match !wid with
None ->
let icon = GdkPixbuf.from_file Env.icon_file in
let window = GWindow.window ~icon ~title:"GCS" ~border_width:1 ~width ~height ~allow_shrink:true () in
let title = if !edit then "Flight Plan Editor" else "GCS" in
let window = GWindow.window ~icon ~title ~border_width:1 ~width ~height ~allow_shrink:true () in
if !maximize then
window#maximize ();
if !fullscreen then