From bbb8c4a07dad79c650a943501384d98d309051df Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 8 Jul 2024 13:14:13 +0200 Subject: [PATCH] Remove unused duplicate BMotion Studio perspective classes --- .../internal/PerspectiveEditFactory.java | 43 ------------------- .../internal/PerspectiveRunFactory.java | 43 ------------------- 2 files changed, 86 deletions(-) delete mode 100644 de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java delete mode 100644 de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java deleted file mode 100644 index 2603fee3..00000000 --- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveEditFactory.java +++ /dev/null @@ -1,43 +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.bmotionstudio.gef.editor.internal; - -import org.eclipse.ui.IFolderLayout; -import org.eclipse.ui.IPageLayout; -import org.eclipse.ui.IPerspectiveFactory; - -import de.bmotionstudio.gef.editor.library.LibraryView; - -public class PerspectiveEditFactory implements IPerspectiveFactory { - - public void createInitialLayout(final IPageLayout layout) { - - final String editorArea = layout.getEditorArea(); - - // Place the project explorer to left of editor area. - final IFolderLayout left = layout.createFolder("left", - IPageLayout.LEFT, 0.15f, editorArea); - left.addView("fr.systerel.explorer.navigator.view"); - - // Place the outline to right of editor area. - final IFolderLayout righttop = layout.createFolder("right", - IPageLayout.RIGHT, 0.8f, editorArea); - righttop.addView(IPageLayout.ID_OUTLINE); - - // Library view - final IFolderLayout rightbot = layout.createFolder("rightb", - IPageLayout.BOTTOM, 0.6f, "right"); - rightbot.addView(LibraryView.ID); - - final IFolderLayout bottom = layout.createFolder("bottom", - IPageLayout.BOTTOM, 0.75f, editorArea); - // Properties view - bottom.addView(IPageLayout.ID_PROP_SHEET); - - } - -} diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java deleted file mode 100644 index 7586a12d..00000000 --- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/internal/PerspectiveRunFactory.java +++ /dev/null @@ -1,43 +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.bmotionstudio.gef.editor.internal; - -import org.eclipse.ui.IFolderLayout; -import org.eclipse.ui.IPageLayout; -import org.eclipse.ui.IPerspectiveFactory; - -public class PerspectiveRunFactory implements IPerspectiveFactory { - - public void createInitialLayout(IPageLayout layout) { - - String editorArea = layout.getEditorArea(); - - // ProB Event View (Top-Left) - IFolderLayout left = layout.createFolder("left", IPageLayout.LEFT, - 0.15f, editorArea); - left.addView("de.prob.ui.OperationView"); - - // Navigator + Rodin Problem View (Bottom-Left) - IFolderLayout leftb = layout.createFolder("leftb", IPageLayout.BOTTOM, - 0.6f, "left"); - leftb.addView("fr.systerel.explorer.navigator.view"); - // leftb.addView("org.eventb.ui.views.RodinProblemView"); - - // ProB State View (Right) - IFolderLayout right1 = layout.createFolder("right1", IPageLayout.RIGHT, - 0.7f, editorArea); - right1.addView("de.prob.ui.StateView"); - - // ProB History + ProB Event Error View (Right) - IFolderLayout right2 = layout.createFolder("right2", IPageLayout.RIGHT, - 0.6f, "right1"); - right2.addView("de.prob.ui.HistoryView"); - right2.addView("de.prob.ui.EventErrorView"); - - } - -} -- GitLab