docs first commit

2025-12-17 14:53:29 +01:00
parent dd1aa4775c
commit 5b71c6b9d2
11 changed files with 219 additions and 41 deletions
--- a/b0esche_cloud/lib/pages/editor_page.dart
+++ b/b0esche_cloud/lib/pages/editor_page.dart
@@ -82,6 +82,27 @@ class _EditorPageState extends State<EditorPage> {
                ),
              );
            }
+            if (state is EditorSessionExpired) {
+              return Center(
+                child: Column(
+                  mainAxisAlignment: MainAxisAlignment.center,
+                  children: [
+                    const Text('Editing session expired.'),
+                    ElevatedButton(
+                      onPressed: () {
+                        _editorBloc.add(
+                          EditorSessionStarted(
+                            orgId: widget.orgId,
+                            fileId: widget.fileId,
+                          ),
+                        );
+                      },
+                      child: const Text('Reopen'),
+                    ),
+                  ],
+                ),
+              );
+            }
            return const Center(child: Text('Editor not started'));
          },
        ),