fix: update window resolution upon resize

Author: pmbittner

src/main/java/org/variantsync/diffdetective/show/engine/geom/Vec2.java

@@ -1,5 +1,6 @@
 package org.variantsync.diffdetective.show.engine.geom;
 
+import java.awt.*;
 import java.awt.geom.AffineTransform;
 import java.awt.geom.Point2D;
 
@@ -12,6 +13,13 @@ public static Vec2 from(final Point2D p) {
         return new Vec2(p.getX(), p.getY());
     }
 
+    public static Vec2 from(Dimension d) {
+        return new Vec2(
+                d.width,
+                d.height
+        );
+    }
+
     public Point2D.Double toPoint2D() {
         return new Point2D.Double(x(), y());
     }

src/main/java/org/variantsync/diffdetective/show/variation/DiffTreeApp.java

@@ -23,6 +23,9 @@
 
 import javax.swing.*;
 import javax.swing.filechooser.FileNameExtensionFilter;
+import java.awt.event.ComponentAdapter;
+import java.awt.event.ComponentEvent;
+import java.awt.event.ComponentListener;
 import java.awt.event.MouseEvent;
 import java.io.BufferedOutputStream;
 import java.io.File;
@@ -289,6 +292,15 @@ public void initialize(final World world) {
         setupMenu();
         setupInput();
         spawnDiffTree(world);
+
+        getWindow().addComponentListener(new ComponentAdapter() {
+                                             @Override
+                                             public void componentResized(ComponentEvent e) {
+                                                 super.componentResized(e);
+                                                 resolution = Vec2.from(getWindow().getScreen().getSize());
+                                             }
+                                         }
+        );
     }
 
     public Entity getEntityOf(DiffNode diffNode) {