diff --git a/Graph/src/elements/GraphEdge.java b/Graph/src/elements/GraphEdge.java index 91093f5..ffb4c68 100644 --- a/Graph/src/elements/GraphEdge.java +++ b/Graph/src/elements/GraphEdge.java @@ -463,7 +463,7 @@ public void highlight() { this.isHighlighted = true; idle(); - Platform.runLater(this::toFront); + Platform.runLater(this::sendToFront); } /** diff --git a/Graph/src/elements/NonDirectionalEdge.java b/Graph/src/elements/NonDirectionalEdge.java index 8803f42..288d4b1 100644 --- a/Graph/src/elements/NonDirectionalEdge.java +++ b/Graph/src/elements/NonDirectionalEdge.java @@ -416,7 +416,7 @@ public void highlight() { this.isHighlighted = true; idle(); - Platform.runLater(this::toFront); + Platform.runLater(this::sendToFront); } /** diff --git a/Graph/src/graph/Main.java b/Graph/src/graph/Main.java index c0cff64..0a8684c 100644 --- a/Graph/src/graph/Main.java +++ b/Graph/src/graph/Main.java @@ -5,6 +5,7 @@ import javafx.fxml.FXMLLoader; import javafx.scene.Parent; import javafx.scene.Scene; +import javafx.scene.image.Image; import javafx.stage.Stage; public class Main extends Application { @@ -26,6 +27,7 @@ public void start(Stage primaryStage) throws Exception { primaryStage.setResizable(false); primaryStage.sizeToScene(); primaryStage.setScene(scene); + primaryStage.getIcons().add(new Image(Main.class.getResourceAsStream("icon.png"))); primaryStage.setOnCloseRequest(e -> { Platform.exit(); diff --git a/Graph/src/graph/icon.png b/Graph/src/graph/icon.png new file mode 100644 index 0000000..173e29d Binary files /dev/null and b/Graph/src/graph/icon.png differ