From 70516db150096fa73a013aecbc3703f4d6a75cbd Mon Sep 17 00:00:00 2001
From: Jean-Yves Tinevez <tinevez@pasteur.fr>
Date: Wed, 4 Dec 2024 16:31:35 +0100
Subject: [PATCH] Also wrap windows paths in the logger of the launcher.

---
 src/main/java/org/mastodon/mamut/launcher/LauncherGUI.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/mastodon/mamut/launcher/LauncherGUI.java b/src/main/java/org/mastodon/mamut/launcher/LauncherGUI.java
index d1321edb8..f453cf3cc 100644
--- a/src/main/java/org/mastodon/mamut/launcher/LauncherGUI.java
+++ b/src/main/java/org/mastodon/mamut/launcher/LauncherGUI.java
@@ -275,7 +275,7 @@ public void insertString( final FilterBypass fb, final int offset, final String
 			final StringBuilder modifiedText = new StringBuilder();
 			for ( final char c : string.toCharArray() )
 			{
-				if ( c == '/' )
+				if ( c == '/' || c == '\\' )
 				{
 					modifiedText.append( c ).append( ' ' );
 				}