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

Proposed by Lena Said
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.
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== 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 @@
229 scroll.setPreferredSize(new Dimension(640,400));229 scroll.setPreferredSize(new Dimension(640,400));
230230
231 GridBagConstraints gbc = new GridBagConstraints();231 GridBagConstraints gbc = new GridBagConstraints();
232 gbc.fill = GridBagConstraints.HORIZONTAL;232 gbc.fill = GridBagConstraints.BOTH;
233 gbc.weightx = 0;233 gbc.weightx = 1;
234 gbc.weighty = 0;234 gbc.weighty = 1;
235 gbc.gridx = 0;235 gbc.gridx = 0;
236 gbc.gridy = 0;236 gbc.gridy = 0;
237 gbc.anchor = GridBagConstraints.WEST;237 gbc.anchor = GridBagConstraints.WEST;
@@ -245,6 +245,7 @@
245 //check to see if the ancestor is an instance of Dialog and isn't resizable245 //check to see if the ancestor is an instance of Dialog and isn't resizable
246 if (window instanceof Dialog) {246 if (window instanceof Dialog) {
247 Dialog dialog = (Dialog) window;247 Dialog dialog = (Dialog) window;
248 dialog.setMinimumSize(dialog.getPreferredSize());
248 if (!dialog.isResizable()) {249 if (!dialog.isResizable()) {
249 //set resizable to true250 //set resizable to true
250 dialog.setResizable(true);251 dialog.setResizable(true);

Subscribers

People subscribed via source and target branches