--- TeXmacs-1.0.6-src/src/Window/Widget/Basic/basic_widget.cpp.event 2006-02-18 00:45:04.000000000 +0100
+++ TeXmacs-1.0.6-src/src/Window/Widget/Basic/basic_widget.cpp 2006-02-18 00:46:43.000000000 +0100
@@ -259,7 +259,7 @@
test_window_attached (event ev, widget w) {
if (!w->attached ()) {
cerr << "\n" << HRULE << "\n";
- cerr << ev << " was sent to\n" << w;
+// cerr << ev << " was sent to\n" << w;
cerr << HRULE << "\n";
fatal_error ("widget was not yet attached to window",
"basic_widget::handle", "basic_diwget.cpp");
@@ -268,7 +268,7 @@
bool
basic_widget_rep::handle (event ev) {
- if (DEBUG_EVENTS) cout << "TeXmacs] " << ev << "\n";
+// if (DEBUG_EVENTS) cout << "TeXmacs] " << ev << "\n";
// " ---> " << widget(this) << "\n";
if (attached ()) win->set_origin (ox, oy);
switch (ev->type) {