From cc461277c3185a97eaf741db57694b9ad6dc2435 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Fri, 10 Jun 2016 07:55:00 +0200
Subject: [PATCH] make sure only a slash is stored in the XML, even on Windows
 systems.

---
 src/main/java/de/neemann/digital/gui/LibrarySelector.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/gui/LibrarySelector.java b/src/main/java/de/neemann/digital/gui/LibrarySelector.java
index b98c012c4..e4ad9bf40 100644
--- a/src/main/java/de/neemann/digital/gui/LibrarySelector.java
+++ b/src/main/java/de/neemann/digital/gui/LibrarySelector.java
@@ -261,7 +261,7 @@ public class LibrarySelector implements ElementNotFoundNotification {
          * @param inputNames     the names of the input signals
          */
         public ElementTypeDescriptionCustom(File file, ElementFactory elementFactory, ElementAttributes attributes, PinDescription... inputNames) {
-            super(file.getPath(), elementFactory, inputNames);
+            super(file.getPath().replace('\\', '/'), elementFactory, inputNames);
             this.file = file;
             this.attributes = attributes;
             if (attributes.contains(Keys.DESCRIPTION))