From daf04b9fe0e0a9eae5c11d02ffe55fd216a3ad9f Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Thu, 4 Jun 2020 14:38:11 +0200
Subject: [PATCH] Fix folder short names

---
 lib/widgets/folder_tree_view.dart | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/lib/widgets/folder_tree_view.dart b/lib/widgets/folder_tree_view.dart
index 9297e09f..b66f4c39 100644
--- a/lib/widgets/folder_tree_view.dart
+++ b/lib/widgets/folder_tree_view.dart
@@ -122,6 +122,14 @@ class FolderTileState extends State<FolderTile> {
 
     final theme = Theme.of(context);
 
+    var publicName = folder.publicName;
+    if (folder.parent != null) {
+      publicName = publicName.substring(folder.parent.pathSpec().length);
+      if (publicName.startsWith('/')) {
+        publicName = publicName.substring(1);
+      }
+    }
+
     var selected = widget.selectedFolder == widget.folder;
     return Card(
       child: ListTile(
@@ -135,7 +143,7 @@ class FolderTileState extends State<FolderTile> {
             color: Theme.of(context).accentColor,
           ),
         ),
-        title: Text(folder.publicName),
+        title: Text(publicName),
         subtitle: Text(subtitle),
         trailing: trailling,
         selected: selected,