--- a/src/Pure/GUI/gui.scala Thu Jan 07 13:23:54 2021 +0100
+++ b/src/Pure/GUI/gui.scala Thu Jan 07 13:28:13 2021 +0100
@@ -157,20 +157,6 @@
def isabelle_image(): Image = isabelle_icon().getImage
- def isabelle_image_large(): Image =
- Toolkit.getDefaultToolkit.getImage(
- File.platform_path(Path.explode("~~/lib/logo/isabelle_transparent-128.png")))
-
- def set_application_icon()
- {
- if (Platform.is_macos && Taskbar.isTaskbarSupported) {
- val taskbar = Taskbar.getTaskbar
- if (taskbar.isSupported(Taskbar.Feature.ICON_IMAGE)) {
- taskbar.setIconImage(isabelle_image_large())
- }
- }
- }
-
/* location within multi-screen environment */