let non_empty_type = ref false in
let window =
GWindow.window
- ~width:600 ~modal:true ~title:"New Proof or Definition" ~border_width:2 () in
+ ~width:600 ~modal:true ~title:"New Proof or Definition..."
+ ~border_width:2 () in
let vbox = GPack.vbox ~packing:window#add () in
let hbox =
GPack.hbox ~border_width:0