From c6f72a46eb96839ba3ea49ad2a405d62a9e98937 Mon Sep 17 00:00:00 2001 From: AlexisDrogoul Date: Sun, 10 Oct 2021 15:59:26 +0700 Subject: [PATCH] Fixes a blocking bug when opening chart editors (left side properties) --- .../ummisco/gama/ui/views/displays/SWTChartEditor.java | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/SWTChartEditor.java b/ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/SWTChartEditor.java index 1e5eda9c83..9a7d57dedb 100644 --- a/ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/SWTChartEditor.java +++ b/ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/SWTChartEditor.java @@ -92,10 +92,8 @@ public class SWTChartEditor implements ChartEditor { * the chart to edit. */ public SWTChartEditor(final Display display, final JFreeChart chart2edit, final Point position) { - this.shell = new Shell(display, SWT.APPLICATION_MODAL | SWT.NO_TRIM); + this.shell = new Shell(display, SWT.APPLICATION_MODAL | SWT.TOOL | SWT.TITLE); this.shell.setSize(400, 500); - // this.shell.setBackground(WorkbenchHelper.getDisplay().getSystemColor(SWT.COLOR_BLACK)); - // this.shell.setAlpha(140); this.chart = chart2edit; this.shell.setText("Chart properties"); this.shell.setLocation(position); @@ -776,10 +774,8 @@ public static SWTAxisEditor getInstance(final Composite parent, final int style, if (axis == null) return null; // return the appropriate axis editor - if (axis instanceof NumberAxis) - return new SWTNumberAxisEditor(parent, style, (NumberAxis) axis); - else - return new SWTAxisEditor(parent, style, axis); + if (axis instanceof NumberAxis) return new SWTNumberAxisEditor(parent, style, (NumberAxis) axis); + return new SWTAxisEditor(parent, style, axis); } /**