Merge lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 into lp:tapaal

[Lena Ernstsen]

Raw query result panel scales according to the window resizing

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/pipe/gui/RunVerification.java'
--- src/pipe/gui/RunVerification.java	2020-12-17 21:03:12 +0000
+++ src/pipe/gui/RunVerification.java	2021-02-22 23:00:31 +0000
@@ -229,9 +229,9 @@
         scroll.setPreferredSize(new Dimension(640,400));
 
         GridBagConstraints gbc = new GridBagConstraints();
-        gbc.fill = GridBagConstraints.HORIZONTAL;
-        gbc.weightx = 0;
-        gbc.weighty = 0;
+        gbc.fill = GridBagConstraints.BOTH;
+        gbc.weightx = 1;
+        gbc.weighty = 1;
         gbc.gridx = 0;
         gbc.gridy = 0;
         gbc.anchor = GridBagConstraints.WEST;
@@ -245,6 +245,7 @@
                 //check to see if the ancestor is an instance of Dialog and isn't resizable
                 if (window instanceof Dialog) {
                     Dialog dialog = (Dialog) window;
+                    dialog.setMinimumSize(dialog.getPreferredSize());
                     if (!dialog.isResizable()) {
                         //set resizable to true
                         dialog.setResizable(true);