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

add ~type_hint:`DIALOG

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-22 07:58:21 +00:00
parent 8e0b68d5b4
commit e7e9a5cc04
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
@@ -308,7 +308,7 @@ let base_and_index =
(field_descr, 0)
let rec plot_window = fun window ->
let plotter = GWindow.window ~allow_shrink:true ~title:window.title () in
let plotter = GWindow.window ~type_hint:`DIALOG ~allow_shrink:true ~title:window.title () in
ignore (plotter#parse_geometry window.geometry);
plotter#set_icon (Some (GdkPixbuf.from_file Env.icon_file));
let vbox = GPack.vbox ~packing:plotter#add () in