From fde33999a63c3a936b2508ee93c5ee0ff0b3a979 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 24 Aug 2023 16:13:40 +0200
Subject: [PATCH] Remove broken "ProB Log View"

Everything that would appear in this view (if it was working) is also
shown in the standard Eclipse "Error Log" view, and that also shows more
details than our custom view, so I don't think we need to keep our view.
---
 de.prob.ui/plugin.xml                         |  7 ----
 de.prob.ui/src/de/prob/ui/ticket/LogView.java | 42 -------------------
 .../de/prob/ui/ticket/ProBLogListener.java    |  7 ----
 3 files changed, 56 deletions(-)
 delete mode 100644 de.prob.ui/src/de/prob/ui/ticket/LogView.java

diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index fe42b2a1..19428acd 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -71,13 +71,6 @@
             name="History"
             restorable="true">
       </view>
-      <view
-            category="de.hhu.stups.prob"
-            class="de.prob.ui.ticket.LogView"
-            id="de.prob.ui.log"
-            name="ProB Log View"
-            restorable="true">
-      </view>
       <view
             category="de.hhu.stups.prob"
             class="de.prob.ui.ltl.CounterExampleViewPart"
diff --git a/de.prob.ui/src/de/prob/ui/ticket/LogView.java b/de.prob.ui/src/de/prob/ui/ticket/LogView.java
deleted file mode 100644
index dd46ac76..00000000
--- a/de.prob.ui/src/de/prob/ui/ticket/LogView.java
+++ /dev/null
@@ -1,42 +0,0 @@
-/** 
- * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, 
- * Heinrich Heine Universitaet Duesseldorf
- * This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) 
- * */
-
-package de.prob.ui.ticket;
-
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Text;
-import org.eclipse.ui.part.ViewPart;
-
-public class LogView extends ViewPart {
-
-	private static LogView instance = new LogView();
-	private Text text;
-
-	@Override
-	public void createPartControl(final Composite parent) {
-		text = new Text(parent, SWT.WRAP | SWT.MULTI);
-	}
-
-	public static void writeToLog(final String s) {
-		if (instance != null) {
-			instance.write(s);
-		}
-	}
-
-	private synchronized void write(final String s) {
-		if (text != null) {
-			text.append(s);
-			text.append("\n");
-		}
-	}
-
-	@Override
-	public void setFocus() {
-
-	}
-
-}
diff --git a/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java b/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
index c5b2118b..44f5b482 100644
--- a/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
+++ b/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
@@ -33,12 +33,5 @@ public final class ProBLogListener implements ILogListener {
 				}
 			});
 		}
-
-		display.asyncExec(new Runnable() {
-			public void run() {
-				LogView.writeToLog(status.getMessage());
-			}
-		});
-
 	}
 }
-- 
GitLab