Fixed bug where ROI Manager remained invisible after running the plugin

GReD-Clermont · Mar 24, 2022 · 445ce9e · 445ce9e
1 parent 117cd50
commit 445ce9e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -11,7 +11,7 @@
 
     <groupId>fr.igred</groupId>
     <artifactId>omero_batch-plugin</artifactId>
-    <version>1.0.1</version>
+    <version>1.0.2</version>
 
     <name>omero_batch-plugin</name>
     <description>ImageJ plugin to batch process images from OMERO.</description>

diff --git a/src/main/java/fr/igred/ij/macro/OMEROBatchRunner.java b/src/main/java/fr/igred/ij/macro/OMEROBatchRunner.java
@@ -457,6 +457,8 @@ public void run() {
 				setProgress("An unexpected error occurred.");
 			}
 			if (listener != null) listener.onThreadFinished();
+			rm.setVisible(true);
+			rm.close();
 		}
 	}