notedeck

commit 83571aaf88c5952371b805dbfb9102b1ce2c2833
parent 9feb6465c0e0fee837bbeabc53bb7246f9a54d2f
Author: William Casarin <jb55@jb55.com>
Date:   Sat, 10 Feb 2024 16:14:52 -0800

note: show non-displayname if we have it

Signed-off-by: William Casarin <jb55@jb55.com>

Diffstat:
M
src/app.rs
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/app.rs b/src/app.rs
@@ -483,6 +483,8 @@ fn render_username(ui: &mut egui::Ui, profile: Option<&ProfileRecord>, pk: &[u8;
             if let Some(prof) = profile.record.profile() {
                 if let Some(display_name) = prof.display_name() {
                     ui_abbreviate_name(ui, display_name, 20);
+                } else if let Some(name) = prof.name() {
+                    ui_abbreviate_name(ui, name, 20);
                 }
             }
         } else {