Commit 27a9f6bd authored by Johannes Roith's avatar Johannes Roith

Bugfix when moving to a different state.

parent 56847b62
......@@ -101,6 +101,7 @@ public class CupReduceGraphView extends FailableView
// TODO: hack!
public static GraphItem giAtPopup;
public static int xAtPopup = -1;
public static int yAtPopup = -1;
......@@ -241,12 +242,14 @@ public class CupReduceGraphView extends FailableView
| InvocationTargetException e1) {
e1.printStackTrace();
}
if (gi.getData() instanceof ParserReduceNode) {
ParserReduceNode node = (ParserReduceNode) gi.getData();
Point target = new Point(p.x + 10, p.y + 10);
if (!tooltip.isVisible ()) {
if (giAtPopup != gi || !tooltip.isVisible ()) {
tooltip.setLocation(target);
tooltip.show(node.getState());
giAtPopup = gi;
xAtPopup = e.x;
yAtPopup = e.y;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment