fixing eclipse api changes, it compiles under 2023-12 now.

KeYProject · Dec 9, 2023 · ba878c1 · ba878c1
1 parent da8d381
commit ba878c1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/...ct.ui/src/org/key_project/monkey/product/ui/application/MonKeYWorkbenchWindowAdvisor.java b/...ct.ui/src/org/key_project/monkey/product/ui/application/MonKeYWorkbenchWindowAdvisor.java
@@ -45,7 +45,7 @@ public void preWindowOpen() {
 //        configurer.setInitialSize(new Point(400, 300));
         configurer.setShowCoolBar(false);
         configurer.setShowStatusLine(false);
-        configurer.setShowFastViewBars(false);
+        // weigl: n/a in new eclipse versions: configurer.setShowFastViewBars(false);
         configurer.setShowMenuBar(false);
         configurer.setShowPerspectiveBar(false);
         configurer.setShowProgressIndicator(true);

diff --git a/...eractive.proving.ui/src/de/hentschel/visualdbc/interactive/proving/ui/util/ProofUtil.java b/...eractive.proving.ui/src/de/hentschel/visualdbc/interactive/proving/ui/util/ProofUtil.java
@@ -218,7 +218,7 @@ public static void resetProof(ShapeNodeEditPart proofEditPart, DbcProof proof) {
          CompoundCommand compoundCmd = new CompoundCommand("Proof reset");
          if (isProofReferenceResetRequired(proof)) {
             // Compute the edit parts to delete
-            List<Object> editPartsToDelete = new LinkedList<Object>();
+            List<EditPart> editPartsToDelete = new LinkedList<EditPart>();
             for (DbcProofReference refToDel : proof.getProofReferences()) {
                Collection<EditPart> targetEditPart = GMFUtil.findEditParts(proofEditPart, refToDel);
                editPartsToDelete.addAll(targetEditPart);
@@ -364,7 +364,7 @@ public static void updateReferences(final EditingDomain domain,
    public static void deleteReferences(ShapeNodeEditPart proofEditPart, List<DbcProofReference> referencesToDelete) {
       if (isEditPartAlive(proofEditPart)) {
          // Compute the edit parts to delete
-         List<Object> editPartsToDelete = new LinkedList<Object>();
+         List<EditPart> editPartsToDelete = new LinkedList<EditPart>();
          for (DbcProofReference refToDel : referencesToDelete) {
             Collection<EditPart> targetEditPart = GMFUtil.findEditParts(proofEditPart, refToDel);
             editPartsToDelete.addAll(targetEditPart);