diff -up nedit-5.5/util/misc.c.scroll nedit-5.5/util/misc.c --- nedit-5.5/util/misc.c.scroll 2007-10-29 13:09:28.000000000 +0100 +++ nedit-5.5/util/misc.c 2007-10-29 13:59:22.000000000 +0100 @@ -2032,12 +2032,12 @@ void AddMouseWheelSupport(Widget w) if (XmIsScrolledWindow(XtParent(w))) { static const char scrollTranslations[] = - "Shift,: scrolled-window-scroll-up(1)\n" - "Shift,: scrolled-window-scroll-down(1)\n" - "Ctrl,: scrolled-window-page-up()\n" - "Ctrl,: scrolled-window-page-down()\n" - ",: scrolled-window-scroll-up(3)\n" - ",: scrolled-window-scroll-down(3)\n"; + "Shift: scrolled-window-scroll-up(1)\n" + "Shift: scrolled-window-scroll-down(1)\n" + "Ctrl: scrolled-window-page-up()\n" + "Ctrl: scrolled-window-page-down()\n" + ": scrolled-window-scroll-up(3)\n" + ": scrolled-window-scroll-down(3)\n"; static XtTranslations trans_table = NULL; if (trans_table == NULL)