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