Replace chars for workspace dir

This commit is contained in:
crschnick
2025-07-31 13:35:42 +00:00
parent 7bf1f36f51
commit 28e192fe4b
@@ -29,7 +29,7 @@ public class WorkspaceCreationDialog {
var path = new SimpleObjectProperty<>(base + "-new-workspace");
name.subscribe((v) -> {
if (v != null && path.get() != null && path.get().startsWith(base)) {
var newPath = path.get().substring(0, base.length()) + "-" + v;
var newPath = path.get().substring(0, base.length()) + "-" + v.replaceAll(" ", "-").toLowerCase();
path.set(newPath);
}
});