diff options
Diffstat (limited to 'media-gfx/graphviz/files/dotty_change_button.patch')
| -rw-r--r-- | media-gfx/graphviz/files/dotty_change_button.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/media-gfx/graphviz/files/dotty_change_button.patch b/media-gfx/graphviz/files/dotty_change_button.patch new file mode 100644 index 000000000000..8c5f34a2e128 --- /dev/null +++ b/media-gfx/graphviz/files/dotty_change_button.patch @@ -0,0 +1,22 @@ +diff --git a/cmd/dotty/dotty_ui.lefty b/cmd/dotty/dotty_ui.lefty +index a8c9116..a708c61 100644 +--- a/cmd/dotty/dotty_ui.lefty ++++ b/cmd/dotty/dotty_ui.lefty +@@ -342,7 +342,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]; +@@ -447,7 +447,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; |