From 23034ce7b76230fa82ef0b2d1bb91b053083aeeb Mon Sep 17 00:00:00 2001 From: Tobias Diez Date: Thu, 12 Mar 2020 14:49:52 +0100 Subject: [PATCH] Delete CustomJFXPanel.java (#6106) --- .../jabref/gui/customjfx/CustomJFXPanel.java | 21 ------------------- 1 file changed, 21 deletions(-) delete mode 100644 src/main/java/org/jabref/gui/customjfx/CustomJFXPanel.java diff --git a/src/main/java/org/jabref/gui/customjfx/CustomJFXPanel.java b/src/main/java/org/jabref/gui/customjfx/CustomJFXPanel.java deleted file mode 100644 index e21f8ce805e..00000000000 --- a/src/main/java/org/jabref/gui/customjfx/CustomJFXPanel.java +++ /dev/null @@ -1,21 +0,0 @@ -package org.jabref.gui.customjfx; - -import javafx.embed.swing.JFXPanel; -import javafx.scene.Scene; - -import org.jabref.Globals; -import org.jabref.gui.util.DefaultTaskExecutor; - -/** - * TODO: Remove as soon as possible - */ -public class CustomJFXPanel { - - public static JFXPanel wrap(Scene scene) { - JFXPanel container = new JFXPanel(); - Globals.getThemeLoader().installCss(scene, Globals.prefs); - DefaultTaskExecutor.runInJavaFXThread(() -> container.setScene(scene)); - return container; - } - -}