gtk: Make graphic chars out of e.g. ^H in key-press event strings.

diff --git a/src/gtk/gtk-ev.scm b/src/gtk/gtk-ev.scm
index c72b104006198b22283130d705f016adc4d42aab..7acf50a99e00154f9fc5efc9256f2bb1dd9d7a07 100644 (file)
--- a/src/gtk/gtk-ev.scm
+++ b/src/gtk/gtk-ev.scm
@@ -390,7 +390,7 @@ USA.
                 (text (let ((alien (make-alien '|gchar|)))
                         (C-> GdkEvent "GdkEvent key string" alien)
                         (c-peek-cstring alien))))
-            (cat "Keyval: "keyval" Text: "text"\n")))
+            (cat "Keyval: "keyval" Text: "(write-to-string text)"\n")))
          (else
           #f))))
 \f