diff --git a/sw/logalizer/plotter.ml b/sw/logalizer/plotter.ml index 4f4b240d64..ea6d249975 100644 --- a/sw/logalizer/plotter.ml +++ b/sw/logalizer/plotter.ml @@ -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