; * src/keyboard.c (Finsert_special_event): Don't use "//".

(cherry picked from commit f806b9cba6568433e36878ed005673a5788c004f)

diff --git a/src/keyboard.c b/src/keyboard.c
index d51b79e7f6bda64b7acf66ae1ca68365a3496189..55793f42c1f9c49f510c0221c0a464d07461faa8 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -11663,7 +11663,7 @@ Only 'input_event' slots KIND and ARG are set.  */)
 #endif
      : EQ (XCAR (event), Qiconify_frame) ? ICONIFY_EVENT
      : EQ (XCAR (event), Qmake_frame_visible) ? DEICONIFY_EVENT
-     // : EQ (XCAR (event), Qselect_window) ? SELECT_WINDOW_EVENT
+  /* : EQ (XCAR (event), Qselect_window) ? SELECT_WINDOW_EVENT */
      : EQ (XCAR (event), Qsave_session) ? SAVE_SESSION_EVENT
 #ifdef HAVE_DBUS
      : EQ (XCAR (event), Qdbus_event) ? DBUS_EVENT