diff --git a/lib/console.tcl b/lib/console.tcl
index 297e8defa47c19769093880a16bf5b89b0078d63..27a880e408fbdcf1f9caf66adf92f42403538341 100644 (file)
--- a/lib/console.tcl
+++ b/lib/console.tcl
}
}
+method insert {txt} {
+ if {![winfo exists $w.m.t]} {_init $this}
+ $w.m.t conf -state normal
+ $w.m.t insert end "$txt\n"
+ set console_cr [$w.m.t index {end -1c}]
+ $w.m.t conf -state disabled
+}
+
method done {ok} {
if {$ok} {
if {[winfo exists $w.m.s]} {