ui(FileNavigationBar): Show full filename if not markdown file

iakdis · Mar 31, 2023 · 453c4d3 · 453c4d3
1 parent ece78c4
commit 453c4d3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/src/widgets/file_navigation/files_navigation.dart b/lib/src/widgets/file_navigation/files_navigation.dart
@@ -148,7 +148,11 @@ class _FilesNavigationDrawerState extends State<FilesNavigationDrawer>
                     key: UniqueKey(),
                     color: Colors.transparent,
                     child: FileButton(
-                      buttonText: path.substring(0, path.length - 3),
+                      buttonText: path.endsWith('.md')
+                          ? path.substring(0, path.length - 3)
+                          : path.endsWith('.markdown')
+                              ? path.substring(0, path.length - 9)
+                              : path,
                       index: finalIndex,
                       path: snapshot.data?[index].path ?? 'No file path found',
                       isExtended: isExtended,