Fix #1

rzats · Dec 13, 2016 · 49aa157 · 49aa157
1 parent 01f9088
commit 49aa157
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/resources/build.properties b/resources/build.properties
@@ -133,12 +133,12 @@ source.repository=https://github.com/rzats/font-highlighting-editor.git
 # This is used to compare different versions of the same Tool, and check if an 
 # update is available.
 
-tool.version=2
+tool.version=3
 
 
 # The version as the user will see it. 
 
-tool.prettyVersion=1.1.0
+tool.prettyVersion=1.1.1
 
 
 # The min and max revision of Processing compatible with your Tool.
@@ -156,7 +156,7 @@ compatible.maxRevision=0
 # against. This information is only used in the generated webpage.
 
 tested.platform=windows, macosx, linux
-tested.processingVersion=3.0.2
+tested.processingVersion=3.2.3
 
 
 # Additional information for the generated webpage.

diff --git a/src/fonthighlightingeditor/tool/FontHighlightingFrame.java b/src/fonthighlightingeditor/tool/FontHighlightingFrame.java
@@ -928,7 +928,9 @@ public void windowClosing(WindowEvent e) {
 				setPreferredSize(new Dimension(650, 430));
 			}
 
-			setResizable(false);
+			setMinimumSize(new Dimension(580, 375));
+			setMaximumSize(new Dimension(700, 500));
+			setResizable(true);
 
 			pack();