bugfix: deleting empty folders not possible

martin-pabst · martin-pabst · commit 2b595e03330c · 2026-02-08T21:39:56.000+01:00
diff --git a/src/client/main/gui/Accordion.ts b/src/client/main/gui/Accordion.ts
@@ -758,7 +758,7 @@ export class AccordionPanel {
 
     getChildElements(folder: AccordionElement): AccordionElement[] {
         let path = folder.path.slice(0).concat(folder.name).join("/");
-        return this.elements.filter((element) => element.path.join("/").startsWith(path));
+        return this.elements.filter((element) => (element.path.join("/") + "/").startsWith(path + "/"));
     }
 
     pathStartsWith(path: string[], pathStart: string[]){
diff --git a/src/client/main/gui/ProjectExplorer.ts b/src/client/main/gui/ProjectExplorer.ts
@@ -238,7 +238,7 @@ export class ProjectExplorer {
                 that.main.networkManager.sendUpdates();
 
                 // if user owns database: rename it, too
-                if(workspace.database.owner_id == workspace.owner_id){
+                if(workspace.database?.owner_id == workspace.owner_id){
                     workspace.database.name = newName;
                     that.main.networkManager.setNameAndPublishedTo(workspace.id, newName, workspace.database.published_to, workspace.database.description, () => {})
                 }

Original file line number	Diff line number	Diff line change
`@@ -758,7 +758,7 @@ export class AccordionPanel {`
`758`	`758`
`759`	`759`	`getChildElements(folder: AccordionElement): AccordionElement[] {`
`760`	`760`	`let path = folder.path.slice(0).concat(folder.name).join("/");`
`761`		`- return this.elements.filter((element) => element.path.join("/").startsWith(path));`
	`761`	`+ return this.elements.filter((element) => (element.path.join("/") + "/").startsWith(path + "/"));`
`762`	`762`	`}`
`763`	`763`
`764`	`764`	`pathStartsWith(path: string[], pathStart: string[]){`
Original file line number	Diff line number	Diff line change
`@@ -238,7 +238,7 @@ export class ProjectExplorer {`
`238`	`238`	`that.main.networkManager.sendUpdates();`
`239`	`239`
`240`	`240`	`// if user owns database: rename it, too`
`241`		`- if(workspace.database.owner_id == workspace.owner_id){`
	`241`	`+ if(workspace.database?.owner_id == workspace.owner_id){`
`242`	`242`	`workspace.database.name = newName;`
`243`	`243`	`that.main.networkManager.setNameAndPublishedTo(workspace.id, newName, workspace.database.published_to, workspace.database.description, () => {})`
`244`	`244`	`}`