Rebased branch on cleanup

eclipse-gef · May 31, 2023 · 6a8fac8 · 6a8fac8
1 parent e0a5163
commit 6a8fac8
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/org.eclipse.zest.core/src/org/eclipse/zest/core/widgets/Graph.java b/org.eclipse.zest.core/src/org/eclipse/zest/core/widgets/Graph.java
@@ -187,7 +187,7 @@ public void dispatchMouseMoved(org.eclipse.swt.events.MouseEvent me) {
 			Button revealAllButton = new Button("Reveal All");
 			revealAllButton.setBounds(new Rectangle(new Point(0, 0), revealAllButton.getPreferredSize()));
 			revealAllButton.addActionListener(event -> {
-				for (GraphNode node : (List<GraphNode>) nodes) {
+				for (GraphNode node : nodes) {
 					HideNodeHelper hideNodeHelper = node.getHideNodeHelper();
 					if (hideNodeHelper != null) {
 						node.setVisible(true);
@@ -564,9 +564,9 @@ public void mouseMoved(org.eclipse.draw2d.MouseEvent me) {
 
 			if (figureUnderMouse != null) {
 				// There is a figure under this mouse
-				GraphItem itemUnderMouse = (GraphItem) figure2ItemMap.get(figureUnderMouse);
-				if (itemUnderMouse instanceof GraphNode) {
-					hoverNode = ((GraphNode) itemUnderMouse).getHideNodeHelper();
+				GraphItem itemUnderMouse = figure2ItemMap.get(figureUnderMouse);
+				if (itemUnderMouse instanceof GraphNode node) {
+					hoverNode = node.getHideNodeHelper();
 					if (hoverNode != null) {
 						hoverNode.setHideButtonVisible(true);
 						hoverNode.setRevealButtonVisible(true);