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

remove unsupported ~deletable argument (was tested only on Karmic)

Browse Source
This commit is contained in:
Pascal Brisset
2009-11-02 14:59:55 +00:00
parent a45f7abdf7
commit 4e548d649a
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
@@ -333,7 +333,7 @@ let base_and_index =
let windows = Hashtbl.create 3
let rec plot_window = fun window ->
let plotter = GWindow.window ~deletable:true ~type_hint:`DIALOG ~allow_shrink:true ~title:window.title () in
let plotter = GWindow.window ~type_hint:`DIALOG ~allow_shrink:true ~title:window.title () in
(* Register the window *)
let oid = plotter#get_oid in