New Release

Resizing the editor works correctly

pom.xml

@@ -9,7 +9,7 @@
 
     <groupId>de.vate</groupId>
     <artifactId>VATE</artifactId>
-    <version>0.2</version>
+    <version>0.3</version>
 
     <build>
         <plugins>

src/main/java/backend/config/Settings.java

@@ -1,5 +1,6 @@
 package backend.config;
 
+import java.awt.*;
 import java.util.ArrayList;
 
 /**
@@ -22,4 +23,19 @@ public class Settings {
      */
     public static ArrayList<String> PREVIOUSLY_OPENED_FILES = new ArrayList<>();
 
+    /**
+     * Stores whether VATE shall be instantiated with the last dimensions.
+     */
+    public static boolean usePreviousDimensionWhenCreated = true;
+
+    /**
+     * Stores the last width of the main frame.
+     */
+    public static int previousWidth = -1;
+
+    /**
+     * Stores the last height of the main frame.
+     */
+    public static int previousHeight = -1;
+
 }

src/main/java/frontend/dialogs/SearchDialog.java

@@ -165,6 +165,7 @@ private void create() {
         add(buttonContainer, BorderLayout.SOUTH);
         add(mainContainer, BorderLayout.NORTH);
         setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
+        setTitle(Config.strings.SEARCH_DIALOG_TITLE);
         setSize(512, 256);
         setVisible(true);
     }

src/main/java/frontend/frames/main/MainFrame.java

@@ -8,6 +8,7 @@
 import frontend.menus.FileMenu;
 
 import javax.swing.*;
+import javax.tools.Tool;
 import java.awt.*;
 import java.io.IOException;
 
@@ -109,7 +110,17 @@ else if (Config.settings.LOAD_PREVIOUS_FILES_WHEN_OPENED) {
             }
         }
 
-        setSize(1024, 512);
+        //Set size:
+        if (Config.settings.usePreviousDimensionWhenCreated && Config.settings.previousHeight != -1 && Config.settings.previousWidth != -1) {
+            //Use previous dimensions:
+            setSize(Config.settings.previousWidth, Config.settings.previousHeight);
+        }
+        else {
+            //Use standard size:
+            Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
+            setSize((int)(screenSize.getWidth() * 0.6), (int)(screenSize.getHeight() * 0.6));
+        }
+
         setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
         setVisible(true);
     }
@@ -216,6 +227,13 @@ else if (option == JOptionPane.CANCEL_OPTION) {
             Config.settings.PREVIOUSLY_OPENED_FILES.add(((Tab)tabs.getComponentAt(i)).getFile().getPath());
         }
 
+        //Save the current dimension:
+        if (getExtendedState() != JFrame.MAXIMIZED_BOTH) {
+            //MainFrame is not in fullscreen, save current dimensions:
+            Config.settings.previousWidth = getWidth();
+            Config.settings.previousHeight = getHeight();
+        }
+
         //Save the config:
         try {
             Config.saveConfig();

src/main/java/frontend/frames/main/components/TextArea.java

@@ -181,8 +181,8 @@ public TextArea(Tab context) {
 
         setViewportView(textPane);
         setRowHeaderView(lineNumbers);
-        setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
-        setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
+        setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
+        setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
     }
 
 

src/main/resources/META-INF/MANIFEST.MF

@@ -0,0 +1,3 @@
+Manifest-Version: 1.0
+Main-Class: VATE
+

vate.config

@@ -1,3 +1,3 @@
 {"LINE_SEPARATOR":"\n"}
 {"PROGRAM_FONT_SIZE":12,"TEXT_EDITOR_FONT_SIZE":16,"TEXT_EDITOR_FONT":"Consolas"}
-{"USE_SYSTEM_LOOK_AND_FEEL":true,"LOAD_PREVIOUS_FILES_WHEN_OPENED":true,"PREVIOUSLY_OPENED_FILES":["test.txt","source.txt"]}
+{"USE_SYSTEM_LOOK_AND_FEEL":true,"LOAD_PREVIOUS_FILES_WHEN_OPENED":true,"PREVIOUSLY_OPENED_FILES":["source.txt"],"usePreviousDimensionWhenCreated":true,"previousWidth":822,"previousHeight":458}