TAPAAL

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

  1. raw-query-window-scaling-1915882
  2. Merge into trunk
Proposed by Lena Ernstsen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1119
Merged at revision: 1118
Proposed branch: lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882
Merge into: lp:tapaal
Diff against target: 24 lines (+4/-3)
1 file modified
src/pipe/gui/RunVerification.java (+4/-3)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+398494@code.launchpad.net

Commit message

Raw query result panel scales according to the window resizing

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/RunVerification.java'
2--- src/pipe/gui/RunVerification.java 2020-12-17 21:03:12 +0000
3+++ src/pipe/gui/RunVerification.java 2021-02-22 23:00:31 +0000
4@@ -229,9 +229,9 @@
5 scroll.setPreferredSize(new Dimension(640,400));
6
7 GridBagConstraints gbc = new GridBagConstraints();
8- gbc.fill = GridBagConstraints.HORIZONTAL;
9- gbc.weightx = 0;
10- gbc.weighty = 0;
11+ gbc.fill = GridBagConstraints.BOTH;
12+ gbc.weightx = 1;
13+ gbc.weighty = 1;
14 gbc.gridx = 0;
15 gbc.gridy = 0;
16 gbc.anchor = GridBagConstraints.WEST;
17@@ -245,6 +245,7 @@
18 //check to see if the ancestor is an instance of Dialog and isn't resizable
19 if (window instanceof Dialog) {
20 Dialog dialog = (Dialog) window;
21+ dialog.setMinimumSize(dialog.getPreferredSize());
22 if (!dialog.isResizable()) {
23 //set resizable to true
24 dialog.setResizable(true);

Subscribers

People subscribed via source and target branches