Skip to content
Snippets Groups Projects
Commit e71a8184 authored by Lukas Ladenberger's avatar Lukas Ladenberger
Browse files

minor changes

parent 2dd4d408
Branches
Tags
No related merge requests found
...@@ -102,11 +102,15 @@ public class WizardTableObserver extends ObserverWizard { ...@@ -102,11 +102,15 @@ public class WizardTableObserver extends ObserverWizard {
txtExpression.setLayoutData(new GridData(GridData.FILL_BOTH)); txtExpression.setLayoutData(new GridData(GridData.FILL_BOTH));
Composite conRight = new Composite(container, SWT.NONE); Composite conRight = new Composite(container, SWT.NONE);
conRight.setLayoutData(new GridData(GridData.FILL_BOTH));
GridData gData = new GridData(GridData.FILL_VERTICAL);
gData.widthHint = 125;
conRight.setLayoutData(gData);
conRight.setLayout(new GridLayout(1, false)); conRight.setLayout(new GridLayout(1, false));
lb = new Label(conRight, SWT.NONE); lb = new Label(conRight, SWT.WRAP);
lb.setText("List of available power sets:"); lb.setText("Power sets:");
lb.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING)); lb.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING));
ArrayList<String> relationList = new ArrayList<String>(); ArrayList<String> relationList = new ArrayList<String>();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment