From ee2f32e7355fa486ab3b008f9e9c98f8e4a44099 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matej=20Dip=C4=8D=C3=A1r?= <492666@mail.muni.cz>
Date: Thu, 3 Feb 2022 14:29:38 +0100
Subject: [PATCH] Fix not being able to resize task panel
---
.../cz/muni/fi/pv168/project/ui/main/panel/WelcomePanel.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/cz/muni/fi/pv168/project/ui/main/panel/WelcomePanel.java b/src/main/java/cz/muni/fi/pv168/project/ui/main/panel/WelcomePanel.java
index 4e44d00b..9a67f20b 100644
--- a/src/main/java/cz/muni/fi/pv168/project/ui/main/panel/WelcomePanel.java
+++ b/src/main/java/cz/muni/fi/pv168/project/ui/main/panel/WelcomePanel.java
@@ -7,6 +7,7 @@ import javax.swing.border.EmptyBorder;
import javax.swing.border.EtchedBorder;
import java.awt.BorderLayout;
import java.awt.Color;
+import java.awt.Dimension;
import java.awt.Font;
public class WelcomePanel {
@@ -24,6 +25,7 @@ public class WelcomePanel {
welcomeTextArea.setLineWrap(true);
welcomeTextArea.setWrapStyleWord(true);
welcomeTextArea.setEditable(false);
+ welcomeTextArea.setMinimumSize(new Dimension(200, 50));
panel = new JPanel(new BorderLayout());
panel.setBorder(BorderFactory.createCompoundBorder(new EtchedBorder(EtchedBorder.LOWERED), new EmptyBorder(50, 50, 50, 50)));
--
GitLab