From bd9f448b896f5743dde87d5bbe6c2437f7bdbfff Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Fri, 19 Oct 2007 15:50:57 +0000 Subject: [PATCH] Fixed bug where "backtrack to here" and "remove preceeding" where not disabled if the context menu popped up on the background git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@468 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/simulator/GUISimulator.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 9e074f25..419ebf56 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -1870,8 +1870,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect } if(e.isPopupTrigger() && (e.getSource() == pathTablePlaceHolder || e.getSource() == pathTable || e.getSource() == pathTable.getTableHeader() || e.getSource() == tableScroll)) { - backtrackToHere.setEnabled(!(e.getSource() == pathTable.getTableHeader() || e.getSource() == pathTable.getParent())); - removeToHere.setEnabled(!(e.getSource() == pathTable.getTableHeader() || e.getSource() == pathTable.getParent())); + backtrackToHere.setEnabled(!(e.getSource() == pathTable.getTableHeader() || e.getSource() == pathTablePlaceHolder|| e.getSource() == tableScroll)); + removeToHere.setEnabled(!(e.getSource() == pathTable.getTableHeader() || e.getSource() == pathTablePlaceHolder|| e.getSource() == tableScroll)); doEnables();