Show page name in the page editor

gabber235 · Oct 16, 2024 · f3e194c · f3e194c
1 parent a1325bc
commit f3e194c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/app/lib/widgets/inspector/editors/page_selector.dart b/app/lib/widgets/inspector/editors/page_selector.dart
@@ -227,6 +227,7 @@ class _SelectedPage extends HookConsumerWidget {
   Widget build(BuildContext context, WidgetRef ref) {
     final pageType = ref.watch(pageTypeProvider(id));
     final chapter = ref.watch(pageChapterProvider(id));
+    final pageName = ref.watch(pageNameProvider(id)) ?? "";
     return Material(
       borderRadius: BorderRadius.circular(4),
       color: pageType.color,
@@ -243,7 +244,7 @@ class _SelectedPage extends HookConsumerWidget {
                 crossAxisAlignment: CrossAxisAlignment.start,
                 children: [
                   Text(
-                    id.formatted,
+                    pageName.formatted,
                     style: const TextStyle(color: Colors.white, fontSize: 13),
                   ),
                   if (chapter.isNotEmpty)