Skip to content
Snippets Groups Projects
Commit fde33999 authored by dgelessus's avatar dgelessus
Browse files

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.
parent b50117c6
No related branches found
No related tags found
No related merge requests found
Pipeline #119700 passed
...@@ -71,13 +71,6 @@ ...@@ -71,13 +71,6 @@
name="History" name="History"
restorable="true"> restorable="true">
</view> </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 <view
category="de.hhu.stups.prob" category="de.hhu.stups.prob"
class="de.prob.ui.ltl.CounterExampleViewPart" class="de.prob.ui.ltl.CounterExampleViewPart"
......
/**
* (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() {
}
}
...@@ -33,12 +33,5 @@ public final class ProBLogListener implements ILogListener { ...@@ -33,12 +33,5 @@ public final class ProBLogListener implements ILogListener {
} }
}); });
} }
display.asyncExec(new Runnable() {
public void run() {
LogView.writeToLog(status.getMessage());
}
});
} }
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment