formatting

DecwLK · Mar 10, 2024 · 855d7e8 · 855d7e8
1 parent b38cf25
commit 855d7e8
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/main/java/org/gecko/view/views/EditorView.java b/src/main/java/org/gecko/view/views/EditorView.java
@@ -49,7 +49,6 @@ public class EditorView {
     private final StackPane currentViewPane;
     @Getter
     private final ToolBar toolBar;
-    private final ToolBarBuilder toolBarBuilder;
     private final InspectorFactory inspectorFactory;
     private final Inspector emptyInspector;
     private final Node searchWindow;
@@ -70,7 +69,7 @@ public EditorView(
         ViewFactory viewFactory, ActionManager actionManager, EditorViewModel viewModel) {
         this.viewFactory = viewFactory;
         this.viewModel = viewModel;
-        this.toolBarBuilder = new ToolBarBuilder(actionManager, this, viewModel);
+        ToolBarBuilder toolBarBuilder = new ToolBarBuilder(actionManager, this, viewModel);
         this.toolBar = toolBarBuilder.build();
         this.inspectorFactory = new InspectorFactory(actionManager, viewModel);
 
@@ -86,8 +85,8 @@ public EditorView(
         StringProperty tabName = new SimpleStringProperty("Error_Name");
         tabName.bind(Bindings.createStringBinding(() -> {
             String name = viewModel.getCurrentSystem().getName();
-            return name + (viewModel.isAutomatonEditor() ? " (" + ResourceHandler.getString("View", "automaton") + ")"
-                : " (" + ResourceHandler.getString("View", "system") + ")");
+            return name + (viewModel.isAutomatonEditor() ? " (" + ResourceHandler.getString("View", "automaton") + ")" :
+                " (" + ResourceHandler.getString("View", "system") + ")");
         }, viewModel.getCurrentSystem().getNameProperty()));
 
         Label tabLabel = new Label();
@@ -237,7 +236,7 @@ private void initializeViewElements() {
     }
 
     private void addElement(PositionableViewModelElement<?> element) {
-        PositionableViewModelElementVisitor visitor = new ViewElementCreatorVisitor(viewFactory);
+        PositionableViewModelElementVisitor<?> visitor = new ViewElementCreatorVisitor(viewFactory);
         ViewElement<?> viewElement = (ViewElement<?>) element.accept(visitor);
 
         // Add view element to current view elements