applying RH's graphviz-2.42.2-dotty-menu-fix.patch

diff --git a/cmd/dotty/dotty_ui.lefty b/cmd/dotty/dotty_ui.lefty
index 6fdec8f8b123548a3992340e54b5a9dc3aa5a11f..270c0c81509a4348913f7aef1f2d70102388d052 100644 (file)
--- a/cmd/dotty/dotty_ui.lefty
+++ b/cmd/dotty/dotty_ui.lefty
@@ -351,7 +351,7 @@ dotty.protovt.normal.uifuncs = [
         else
             gt.insertedge (gt, data.pobj, null, data.obj, null, null, 1);
     };
-    'rightdown' = function (data) {
+    'rightup' = function (data) {
         local vt, gt, menu, i;
 
         vt = dotty.views[data.widget];
@@ -456,7 +456,7 @@ dotty.protovt.birdseye.uifuncs = [
     'middledown' = dotty.protovt.normal.uifuncs.middledown;
     'middlemove' = dotty.protovt.normal.uifuncs.middlemove;
     'middleup' = dotty.protovt.normal.uifuncs.middleup;
-    'rightdown' = dotty.protovt.normal.uifuncs.rightdown;
+    'rightup' = dotty.protovt.normal.uifuncs.rightup;
     'keyup' = dotty.protovt.normal.uifuncs.keyup;
     'redraw' = dotty.protovt.normal.uifuncs.redraw;
     'closeview' = dotty.protovt.normal.uifuncs.closeview;