Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBenjamin Grouhan2015-04-09 13:33:53 +0000
committerPierre-Charles David2015-04-10 08:38:47 +0000
commitf56516d0f0627301667522ba493d51a745ba9fa4 (patch)
tree6f3a620267d5b8c3eef4e445d4afd3ce96d16e52
parent0a64eb1bc2399e8d72a6b2be8fb3f6acb794589c (diff)
downloadorg.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.java3
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;

Back to the top