diff options
Diffstat (limited to 'graphviz-2.42.2-dotty-menu-fix.patch')
| -rw-r--r-- | graphviz-2.42.2-dotty-menu-fix.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/graphviz-2.42.2-dotty-menu-fix.patch b/graphviz-2.42.2-dotty-menu-fix.patch new file mode 100644 index 0000000..b024996 --- /dev/null +++ b/graphviz-2.42.2-dotty-menu-fix.patch @@ -0,0 +1,22 @@ +diff --git a/cmd/dotty/dotty_ui.lefty b/cmd/dotty/dotty_ui.lefty +index 6fdec8f..270c0c8 100644 +--- 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; |