Tests solution to #3318 on Linux and fixes one specific issue

gama-platform · Mar 13, 2022 · e9e8ca0 · e9e8ca0
1 parent 0f781fb
commit e9e8ca0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/LayeredDisplayDecorator.java b/ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/LayeredDisplayDecorator.java
@@ -198,7 +198,8 @@ public void partDeactivated(final IWorkbenchPartReference partRef) {
 		public void partHidden(final IWorkbenchPartReference partRef) {
 			// On macOS, this event is wrongly sent when tabs are not displayed for the views and another display is
 			// selected
-			if (PlatformHelper.isMac() && !PerspectiveHelper.keepTabs()) return;
+			// The same happens on Linux
+			if ((PlatformHelper.isMac() || PlatformHelper.isLinux())&& !PerspectiveHelper.keepTabs()) return;
 			if (ok(partRef)) {
 				DEBUG.OUT("Part hidden:" + partRef.getTitle());
 				WorkbenchHelper.asyncRun(() -> {