From 13ad6ce68cd260dbd84fd3b1565ddbe616adca68 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 7 Oct 2024 15:10:34 +0200
Subject: [PATCH] Remove commented out example code
---
.../src/de/prob/ui/eventb/ClassicPreferences.java | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
index 987014e9..7410eb96 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
@@ -97,16 +97,6 @@ public class ClassicPreferences extends PreferencePage implements
gridData2.horizontalSpan = 3;
versionRemark.setLayoutData(gridData2);
- // Link link = new Link(pageComponent, SWT.BORDER);
- // link
- // .setText("This a very simple <A href=\"/downloads.php\">link</A> widget.");
- // link.setSize(140, 40);
- // link.addListener(SWT.Selection, new Listener() {
- // public void handleEvent(final Event event) {
- // System.out.println("Selection: " + event.text);
- // }
- // });
-
return pageComponent;
}
--
GitLab