Dotty right mouse button menu not working
Dotty context menu on right click is displayed only in time when button is pressed and then disappears. This problem can be fixed in dotty by changing the menu button from rightdown to rightup. I think the problem could be caused by overriding rightdown mouse event by rightup when the button is no longer being pressed in lefty https://gitlab.com/graphviz/graphviz/blob/master/cmd/lefty/gfxview.c#L283 Im including patch which changes the buttons in dotty. dotty_change_button.patch