store/app: Add personal full_name to UI, updating on RealmUserEvent.

Author: neiljp

lib/model/store.dart

@@ -151,7 +151,15 @@ class PerAccountStore extends ChangeNotifier {
         view.maybeAddMessage(event.message);
       }
     } else if (event is RealmUserEvent) {
-      debugPrint("server event: realm_user"); // TODO Update our data, and others
+      debugPrint("server event: realm_user");
+      if (event.person.user_id == user_id) {
+        String? new_full_name = event.person.full_name;
+        if (new_full_name != null) {
+          full_name = new_full_name;
+          notifyListeners();
+        }
+      }
+      // TODO Update our other data, and that of other users
     } else if (event is UnexpectedEvent) {
       debugPrint("server event: ${jsonEncode(event.toJson())}"); // TODO log better
     } else {

lib/widgets/app.dart

@@ -57,6 +57,13 @@ class HomePage extends StatelessWidget {
               child: Column(children: [
                 const Text('🚧 Under construction 🚧'),
                 const SizedBox(height: 12),
+                ListenableBuilder(
+                  builder: (BuildContext context, Widget? child) {
+                    return Text.rich(TextSpan(
+                      text: 'You are: ',
+                      children: [bold(store.full_name)]));},
+                  listenable: store,
+                ),
                 Text.rich(TextSpan(
                     text: 'Connected to: ',
                     children: [bold(store.account.realmUrl)])),