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

allow_shrink added

Browse Source
This commit is contained in:
Pascal Brisset
2007-06-05 15:09:43 +00:00
parent 66a64b9f99
commit cc03035fe3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/logalizer/plotter.ml
+1 -1
View File
@@ -236,7 +236,7 @@ let update_time = ref 0.5
let size = ref 500
let rec plot_window = fun init ->
let plotter = GWindow.window ~title:"Plotter" () in
let plotter = GWindow.window ~allow_shrink:true ~title:"Plotter" () in
let vbox = GPack.vbox ~packing:plotter#add () in
let quit = fun () -> GMain.Main.quit (); exit 0 in