[gnome-text-editor] infobar: fix title/underline

[Christian Hergert <chergert src gnome org>]

commit 6c2c9361f2a207fb15e28013df0d488fd07f2bae
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 19 11:43:25 2021 -0700

    infobar: fix title/underline

 src/editor-info-bar.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/src/editor-info-bar.c b/src/editor-info-bar.c
index 2654926..e5bf4c2 100644
--- a/src/editor-info-bar.c
+++ b/src/editor-info-bar.c
@@ -64,7 +64,8 @@ editor_info_bar_update (EditorInfoBar *self)
 
   if (editor_document_get_externally_modified (self->document))
     {
-      gtk_button_set_label (self->discard, _("_Discard Changes &amp; Reload"));
+      gtk_button_set_label (self->discard, _("_Discard Changes and Reload"));
+      gtk_button_set_use_underline (self->discard, TRUE);
       gtk_actionable_set_action_name (GTK_ACTIONABLE (self->discard), "page.discard-changes");
       gtk_label_set_label (self->title, _("File Has Changed on Disk"));
       gtk_label_set_label (self->subtitle, _("The file has been changed by another program."));