diff options
| author | Benjamin Grouhan | 2015-04-09 13:33:53 +0000 |
|---|---|---|
| committer | Pierre-Charles David | 2015-04-10 08:38:47 +0000 |
| commit | f56516d0f0627301667522ba493d51a745ba9fa4 (patch) | |
| tree | 6f3a620267d5b8c3eef4e445d4afd3ce96d16e52 | |
| parent | 0a64eb1bc2399e8d72a6b2be8fb3f6acb794589c (diff) | |
| download | org.eclipse.sirius-f56516d0f0627301667522ba493d51a745ba9fa4.tar.gz org.eclipse.sirius-f56516d0f0627301667522ba493d51a745ba9fa4.tar.xz org.eclipse.sirius-f56516d0f0627301667522ba493d51a745ba9fa4.zip | |
[463456] Slightly improve the text with content proposal dialog
Make it resizable and add borders to the text area.
Bug: 463456
Change-Id: Ied025dfe85102b0906932ce6a263922683fd3d14
Signed-off-by: Benjamin Grouhan <benjamin.grouhan@obeo.fr>
| -rw-r--r-- | plugins/org.eclipse.sirius.editor/src/org/eclipse/sirius/editor/tools/internal/presentation/TextWithContentProposalDialog.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/org.eclipse.sirius.editor/src/org/eclipse/sirius/editor/tools/internal/presentation/TextWithContentProposalDialog.java b/plugins/org.eclipse.sirius.editor/src/org/eclipse/sirius/editor/tools/internal/presentation/TextWithContentProposalDialog.java index 7f09dff087..cb3689ea39 100644 --- a/plugins/org.eclipse.sirius.editor/src/org/eclipse/sirius/editor/tools/internal/presentation/TextWithContentProposalDialog.java +++ b/plugins/org.eclipse.sirius.editor/src/org/eclipse/sirius/editor/tools/internal/presentation/TextWithContentProposalDialog.java @@ -57,6 +57,7 @@ public class TextWithContentProposalDialog extends Dialog { */ public TextWithContentProposalDialog(Shell parentShell, AbstractPropertySection propertySection, String initialText) { super(parentShell); + setShellStyle(getShellStyle() | SWT.RESIZE); resultText = initialText; section = propertySection; } @@ -74,7 +75,7 @@ public class TextWithContentProposalDialog extends Dialog { @Override protected Control createDialogArea(Composite parent) { final Composite contents = (Composite) super.createDialogArea(parent); - textArea = new Text(contents, SWT.MULTI | SWT.V_SCROLL | SWT.WRAP); + textArea = new Text(contents, SWT.MULTI | SWT.V_SCROLL | SWT.WRAP | SWT.BORDER); final GridData data = new GridData(SWT.FILL, SWT.FILL, true, true); data.heightHint = 200; data.widthHint = 600; |
