Module Frama_c_gui.Gtk_compat
module Pango : sig ... end
val window :
?kind:Gtk.Tags.window_type ->
?title:string ->
?decorated:bool ->
?deletable:bool ->
?focus_on_map:bool ->
?icon:GdkPixbuf.pixbuf ->
?icon_name:string ->
?modal:bool ->
?position:Gtk.Tags.window_position ->
?resizable:bool ->
?screen:Gdk.screen ->
?type_hint:Gdk.Tags.window_type_hint ->
?urgency_hint:bool ->
?wmclass:(string * string) ->
?border_width:int ->
?width:int ->
?height:int ->
?show:bool ->
unit ->
GWindow.window