diff options
author | Juergen Haug | 2014-06-05 19:51:54 +0000 |
---|---|---|
committer | Juergen Haug | 2014-06-05 19:54:19 +0000 |
commit | 50cc6853881bf0a34303fa5f31b105508301a39a (patch) | |
tree | e1b107dbbeea6436cf04bacaf3cb8c16afbe2a69 /plugins/org.eclipse.etrice.generator.ui | |
parent | d6d9c13b2bb441b8248961b01eb6ff318736da10 (diff) | |
download | org.eclipse.etrice-50cc6853881bf0a34303fa5f31b105508301a39a.tar.gz org.eclipse.etrice-50cc6853881bf0a34303fa5f31b105508301a39a.tar.xz org.eclipse.etrice-50cc6853881bf0a34303fa5f31b105508301a39a.zip |
[ui.common] improved dialog size of mapping wizard
Change-Id: I6c43a406637427a001667242d7ef9a712b64a0cf
Diffstat (limited to 'plugins/org.eclipse.etrice.generator.ui')
-rw-r--r-- | plugins/org.eclipse.etrice.generator.ui/src/org/eclipse/etrice/generator/ui/wizard/MappingCreationPage.java | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/plugins/org.eclipse.etrice.generator.ui/src/org/eclipse/etrice/generator/ui/wizard/MappingCreationPage.java b/plugins/org.eclipse.etrice.generator.ui/src/org/eclipse/etrice/generator/ui/wizard/MappingCreationPage.java index ce2ca12f5..1ded0981d 100644 --- a/plugins/org.eclipse.etrice.generator.ui/src/org/eclipse/etrice/generator/ui/wizard/MappingCreationPage.java +++ b/plugins/org.eclipse.etrice.generator.ui/src/org/eclipse/etrice/generator/ui/wizard/MappingCreationPage.java @@ -67,9 +67,12 @@ public class MappingCreationPage extends WizardPage { topLevel.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true)); topLevel.setFont(parent.getFont()); - SashForm sash = new SashForm(topLevel, SWT.VERTICAL); + // both editor side-by-side + SashForm sash = new SashForm(topLevel, SWT.HORIZONTAL); sash.setLayout(new GridLayout(1, false)); - sash.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true)); + GridData sash_data = new GridData(SWT.FILL, SWT.FILL, true, true); + sash_data.heightHint = convertHeightInCharsToPixels(11); + sash.setLayoutData(sash_data); // 1. etMap editor { IEditedResourceProvider resourceProvider = new IEditedResourceProvider() { @@ -85,6 +88,10 @@ public class MappingCreationPage extends WizardPage { }; EmbeddedEditorFactory factory = etMapInjector.getInstance(EmbeddedEditorFactory.class); etMapEditor = factory.newEditor(resourceProvider).readOnly().withParent(sash); + GridData data = new GridData(SWT.FILL, SWT.FILL, true, true); + data.widthHint= convertWidthInCharsToPixels(120); + data.heightHint= convertHeightInCharsToPixels(10); + etMapEditor.getViewer().getControl().setLayoutData(data); } // 2. etPhys editor { @@ -101,6 +108,10 @@ public class MappingCreationPage extends WizardPage { }; EmbeddedEditorFactory factory = etPhysInjector.getInstance(EmbeddedEditorFactory.class); etPhysEditor = factory.newEditor(resourceProvider).readOnly().withParent(sash); + GridData data = new GridData(SWT.FILL, SWT.FILL, true, true); + data.widthHint= convertWidthInCharsToPixels(80); + data.heightHint= convertHeightInCharsToPixels(10); + etPhysEditor.getViewer().getControl().setLayoutData(data); } setControl(topLevel); @@ -133,7 +144,6 @@ public class MappingCreationPage extends WizardPage { for (RuntimeClass item : builder.physicalModel.getRuntimeClasses()) physEditorContent.append(serializer.serialize(item, options)); etPhysEditor.createPartialEditor("", physEditorContent.toString(), "", false); - } public Resource getMappingModelResource(String setPhysModelImport) { |