Eliminates an error introduced in the previous commit

gama-platform · Mar 11, 2022 · 974822c · 974822c
1 parent 8d8ab30
commit 974822c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedGamaFile.java b/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedGamaFile.java
@@ -156,7 +156,8 @@ public Object[] getFileChildren() {
 				if (wf.getNavigatorChildren().length > 0) { l.add(wf); }
 			}
 			if (!info.getTags().isEmpty()) {
-				final Tags wf = new Tags(this, StreamEx.of(info.getTags()).toMap(s -> null), "Tags", true);
+				final Tags wf =
+						new Tags(this, StreamEx.of(info.getTags()).toMap(s -> "Double-click to search"), "Tags", true);
 				if (wf.getNavigatorChildren().length > 0) { l.add(wf); }
 			}
 			return l.toArray();