grew_glade_init.ml 19.7 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
(* Automatically generated from src/grew.glade by lablgladecc *)

class config_window ?(file="src/grew.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"config_window" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"config_window" ~info:"GtkWindow" xmldata))
    method toplevel = toplevel
    val config_window =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"config_window" ~info:"GtkWindow" xmldata))
    method config_window = config_window
    val config_vbox =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"config_vbox" ~info:"GtkVBox" xmldata))
    method config_vbox = config_vbox
    val hbox20 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox20" ~info:"GtkHBox" xmldata))
    method hbox20 = hbox20
    val label4 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label4" ~info:"GtkLabel" xmldata))
    method label4 = label4
    val main_feat =
      new GEdit.entry (GtkEdit.Entry.cast
        (Glade.get_widget_msg ~name:"main_feat" ~info:"GtkEntry" xmldata))
    method main_feat = main_feat
    val label_features =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label_features" ~info:"GtkLabel" xmldata))
    method label_features = label_features
    val btn_config_close =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_config_close" ~info:"GtkButton" xmldata))
    method btn_config_close = btn_config_close
    method reparent parent =
      config_vbox#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end
class grew_window ?(file="src/grew.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"grew_window" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"grew_window" ~info:"GtkWindow" xmldata))
    method toplevel = toplevel
    val grew_window =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"grew_window" ~info:"GtkWindow" xmldata))
    method grew_window = grew_window
    val vbox1 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
    method vbox1 = vbox1
    val hbox3 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
    method hbox3 = hbox3
    val label_20 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label_20" ~info:"GtkLabel" xmldata))
    method label_20 = label_20
    val graph_button =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"graph_button" ~info:"GtkButton" xmldata))
    method graph_button = graph_button
    val hbox19 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox19" ~info:"GtkHBox" xmldata))
    method hbox19 = hbox19
    val graph_label =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"graph_label" ~info:"GtkLabel" xmldata))
    method graph_label = graph_label
    val image6 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image6" ~info:"GtkImage" xmldata))
    method image6 = image6
    val btn_refresh_gr =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_refresh_gr" ~info:"GtkButton" xmldata))
    method btn_refresh_gr = btn_refresh_gr
    val image2 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image2" ~info:"GtkImage" xmldata))
    method image2 = image2
    val vseparator4 =
      new GObj.widget_full (GtkMisc.Separator.cast
        (Glade.get_widget_msg ~name:"vseparator4" ~info:"GtkVSeparator" xmldata))
    method vseparator4 = vseparator4
    val label2 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
    method label2 = label2
    val grs_button =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"grs_button" ~info:"GtkButton" xmldata))
    method grs_button = grs_button
    val hbox21 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox21" ~info:"GtkHBox" xmldata))
    method hbox21 = hbox21
    val grs_label =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"grs_label" ~info:"GtkLabel" xmldata))
    method grs_label = grs_label
    val image7 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image7" ~info:"GtkImage" xmldata))
    method image7 = image7
    val btn_refresh_grs =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_refresh_grs" ~info:"GtkButton" xmldata))
    method btn_refresh_grs = btn_refresh_grs
    val image3 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image3" ~info:"GtkImage" xmldata))
    method image3 = image3
    val vseparator6 =
      new GObj.widget_full (GtkMisc.Separator.cast
        (Glade.get_widget_msg ~name:"vseparator6" ~info:"GtkVSeparator" xmldata))
    method vseparator6 = vseparator6
    val label3 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
    method label3 = label3
    val strat =
      new GEdit.entry (GtkEdit.Entry.cast
        (Glade.get_widget_msg ~name:"strat" ~info:"GtkEntry" xmldata))
    method strat = strat
    val strat_list_viewport =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"strat_list_viewport" ~info:"GtkViewport" xmldata))
    method strat_list_viewport = strat_list_viewport
    val vseparator7 =
      new GObj.widget_full (GtkMisc.Separator.cast
        (Glade.get_widget_msg ~name:"vseparator7" ~info:"GtkVSeparator" xmldata))
    method vseparator7 = vseparator7
    val btn_run =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_run" ~info:"GtkButton" xmldata))
    method btn_run = btn_run
    val run_box =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"run_box" ~info:"GtkHBox" xmldata))
    method run_box = run_box
    val label20 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label20" ~info:"GtkLabel" xmldata))
    method label20 = label20
    val image11 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image11" ~info:"GtkImage" xmldata))
    method image11 = image11
    val synchronize =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"synchronize" ~info:"GtkToggleButton" xmldata))
    method synchronize = synchronize
    val image10 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image10" ~info:"GtkImage" xmldata))
    method image10 = image10
    val btn_preferences =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_preferences" ~info:"GtkButton" xmldata))
    method btn_preferences = btn_preferences
    val image1 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image1" ~info:"GtkImage" xmldata))
    method image1 = image1
    val btn_leave_fullscreen =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_leave_fullscreen" ~info:"GtkButton" xmldata))
    method btn_leave_fullscreen = btn_leave_fullscreen
    val image5 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image5" ~info:"GtkImage" xmldata))
    method image5 = image5
    val btn_enter_fullscreen =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"btn_enter_fullscreen" ~info:"GtkButton" xmldata))
    method btn_enter_fullscreen = btn_enter_fullscreen
    val image4 =
      new GMisc.image (GtkMisc.Image.cast
        (Glade.get_widget_msg ~name:"image4" ~info:"GtkImage" xmldata))
    method image4 = image4
    val vpaned_corpus =
      new GPack.paned (GtkPack.Paned.cast
        (Glade.get_widget_msg ~name:"vpaned_corpus" ~info:"GtkHPaned" xmldata))
    method vpaned_corpus = vpaned_corpus
    val hbox10 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox10" ~info:"GtkHBox" xmldata))
    method hbox10 = hbox10
    val vbox_corpus =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox_corpus" ~info:"GtkVBox" xmldata))
    method vbox_corpus = vbox_corpus
    val vbox6 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox6" ~info:"GtkVBox" xmldata))
    method vbox6 = vbox6
    val viewport4 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport4" ~info:"GtkViewport" xmldata))
    method viewport4 = viewport4
    val btn_show_corpus =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_show_corpus" ~info:"GtkToggleButton" xmldata))
    method btn_show_corpus = btn_show_corpus
    val corpus_label =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"corpus_label" ~info:"GtkLabel" xmldata))
    method corpus_label = corpus_label
    val viewport5 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport5" ~info:"GtkViewport" xmldata))
    method viewport5 = viewport5
    val vpaned_left =
      new GPack.paned (GtkPack.Paned.cast
        (Glade.get_widget_msg ~name:"vpaned_left" ~info:"GtkHPaned" xmldata))
    method vpaned_left = vpaned_left
    val hbox2 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
    method hbox2 = hbox2
    val viewport1 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
    method viewport1 = viewport1
    val vbox2 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
    method vbox2 = vbox2
    val hbox4 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox4" ~info:"GtkHBox" xmldata))
    method hbox4 = hbox4
    val hbox5 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox5" ~info:"GtkHBox" xmldata))
    method hbox5 = hbox5
    val label5 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label5" ~info:"GtkLabel" xmldata))
    method label5 = label5
    val grs_zoom =
      new GRange.scale (GtkRange.Scale.cast
        (Glade.get_widget_msg ~name:"grs_zoom" ~info:"GtkHScale" xmldata))
    method grs_zoom = grs_zoom
    val label7 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
    method label7 = label7
    val hbox8 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox8" ~info:"GtkHBox" xmldata))
    method hbox8 = hbox8
    val grs_view =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"grs_view" ~info:"GtkScrolledWindow" xmldata))
    method grs_view = grs_view
    val vbox7 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
    method vbox7 = vbox7
    val viewport6 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport6" ~info:"GtkViewport" xmldata))
    method viewport6 = viewport6
    val btn_show_grs =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_show_grs" ~info:"GtkToggleButton" xmldata))
    method btn_show_grs = btn_show_grs
    val rewriting_label =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"rewriting_label" ~info:"GtkLabel" xmldata))
    method rewriting_label = rewriting_label
    val viewport7 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport7" ~info:"GtkViewport" xmldata))
    method viewport7 = viewport7
    val vpaned_right =
      new GPack.paned (GtkPack.Paned.cast
        (Glade.get_widget_msg ~name:"vpaned_right" ~info:"GtkHPaned" xmldata))
    method vpaned_right = vpaned_right
    val hbox6 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
    method hbox6 = hbox6
    val viewport2 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport2" ~info:"GtkViewport" xmldata))
    method viewport2 = viewport2
    val vbox4 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
    method vbox4 = vbox4
    val hbox7 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
    method hbox7 = hbox7
    val hbox9 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox9" ~info:"GtkHBox" xmldata))
    method hbox9 = hbox9
    val label6 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
    method label6 = label6
    val module_zoom =
      new GRange.scale (GtkRange.Scale.cast
        (Glade.get_widget_msg ~name:"module_zoom" ~info:"GtkHScale" xmldata))
    method module_zoom = module_zoom
    val label12 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label12" ~info:"GtkLabel" xmldata))
    method label12 = label12
    val module_view =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"module_view" ~info:"GtkScrolledWindow" xmldata))
    method module_view = module_view
    val vbox8 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox8" ~info:"GtkVBox" xmldata))
    method vbox8 = vbox8
    val viewport8 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport8" ~info:"GtkViewport" xmldata))
    method viewport8 = viewport8
    val btn_show_module =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_show_module" ~info:"GtkToggleButton" xmldata))
    method btn_show_module = btn_show_module
    val label15 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label15" ~info:"GtkLabel" xmldata))
    method label15 = label15
    val viewport9 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport9" ~info:"GtkViewport" xmldata))
    method viewport9 = viewport9
    val vpaned =
      new GPack.paned (GtkPack.Paned.cast
        (Glade.get_widget_msg ~name:"vpaned" ~info:"GtkVPaned" xmldata))
    method vpaned = vpaned
    val hbox13 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox13" ~info:"GtkHBox" xmldata))
    method hbox13 = hbox13
    val vbox3 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
    method vbox3 = vbox3
    val label9 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label9" ~info:"GtkLabel" xmldata))
    method label9 = label9
    val graph_top_zoom =
      new GRange.scale (GtkRange.Scale.cast
        (Glade.get_widget_msg ~name:"graph_top_zoom" ~info:"GtkVScale" xmldata))
    method graph_top_zoom = graph_top_zoom
    val label8 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
    method label8 = label8
    val btn_gr_top_dep =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_gr_top_dep" ~info:"GtkToggleButton" xmldata))
    method btn_gr_top_dep = btn_gr_top_dep
    val btn_gr_top_dot =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_gr_top_dot" ~info:"GtkToggleButton" xmldata))
    method btn_gr_top_dot = btn_gr_top_dot
    val viewport10 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport10" ~info:"GtkViewport" xmldata))
    method viewport10 = viewport10
    val graph_view_top =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"graph_view_top" ~info:"GtkScrolledWindow" xmldata))
    method graph_view_top = graph_view_top
    val hbox23 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox23" ~info:"GtkHBox" xmldata))
    method hbox23 = hbox23
    val vbox9 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox9" ~info:"GtkVBox" xmldata))
    method vbox9 = vbox9
    val label10 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
    method label10 = label10
    val graph_bottom_zoom =
      new GRange.scale (GtkRange.Scale.cast
        (Glade.get_widget_msg ~name:"graph_bottom_zoom" ~info:"GtkVScale" xmldata))
    method graph_bottom_zoom = graph_bottom_zoom
    val label11 =
      new GMisc.label (GtkMisc.Label.cast
        (Glade.get_widget_msg ~name:"label11" ~info:"GtkLabel" xmldata))
    method label11 = label11
    val btn_gr_bottom_dep =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_gr_bottom_dep" ~info:"GtkToggleButton" xmldata))
    method btn_gr_bottom_dep = btn_gr_bottom_dep
    val btn_gr_bottom_dot =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"btn_gr_bottom_dot" ~info:"GtkToggleButton" xmldata))
    method btn_gr_bottom_dot = btn_gr_bottom_dot
    val graph_view_bottom =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"graph_view_bottom" ~info:"GtkScrolledWindow" xmldata))
    method graph_view_bottom = graph_view_bottom
    val err_view_scroll =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"err_view_scroll" ~info:"GtkScrolledWindow" xmldata))
    method err_view_scroll = err_view_scroll
    val statusbar =
      new GMisc.statusbar (GtkMisc.Statusbar.cast
        (Glade.get_widget_msg ~name:"statusbar" ~info:"GtkStatusbar" xmldata))
    method statusbar = statusbar
    method reparent parent =
      vbox1#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end
class src_viewer ?(file="src/grew.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"src_viewer" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"src_viewer" ~info:"GtkWindow" xmldata))
    method toplevel = toplevel
    val src_viewer =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"src_viewer" ~info:"GtkWindow" xmldata))
    method src_viewer = src_viewer
    val vbox10 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox10" ~info:"GtkVBox" xmldata))
    method vbox10 = vbox10
    val scrolledwindow1 =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
    method scrolledwindow1 = scrolledwindow1
    val source =
      new GText.view (GtkText.View.cast
        (Glade.get_widget_msg ~name:"source" ~info:"GtkTextView" xmldata))
    method source = source
    val close =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"close" ~info:"GtkButton" xmldata))
    method close = close
    method reparent parent =
      vbox10#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end