[paparazzi-commits] [4809] add small patch to support vlc in plugin

[Pascal Brisset]

Revision: 4809
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=4809
Author:   hecto
Date:     2010-04-18 08:39:35 +0000 (Sun, 18 Apr 2010)
Log Message:
-----------
 add small patch to support vlc in plugin

Modified Paths:
--------------
    paparazzi3/trunk/sw/ground_segment/cockpit/gcs.ml

Modified: paparazzi3/trunk/sw/ground_segment/cockpit/gcs.ml
===================================================================
--- paparazzi3/trunk/sw/ground_segment/cockpit/gcs.ml   2010-04-17 18:36:09 UTC 
(rev 4808)
+++ paparazzi3/trunk/sw/ground_segment/cockpit/gcs.ml   2010-04-18 08:39:35 UTC 
(rev 4809)
@@ -673,7 +673,7 @@
       failwith "Error: \"plugin\" widget required in layout description";
     let frame = GBin.event_box ~packing:plugin_frame#add ~width:plugin_width 
~height:plugin_height () in
     let s = GWindow.socket ~packing:frame#add () in
-    let com = sprintf "%s 0x%lx -geometry %dx%d" !plugin_window s#xwindow 
plugin_width plugin_height in
+    let com = sprintf "%s0x%lx" !plugin_window s#xwindow in
 
     let restart = fun () ->
       begin match !pid_plugin with
@@ -710,7 +710,8 @@
       | 3 -> restart (); true
       | _ -> false in
       
-    ignore (frame#event#connect#button_press ~callback)
+    ignore (frame#event#connect#button_press ~callback);
+    ignore (menu_fact#add_item "Swap plugin/map" ~callback:(fun _ -> swap ()));
   end;
 
   (** Wait for A/Cs and subsequent messages *)