Bug fix: Button labels and accelerators

It seems that something has changed in the libraries. An explicit call
to gtk_button_set_use_underline() is required for the accelerators to
work.

diff --git a/src/ui-misc.cc b/src/ui-misc.cc
index 2e82a34d2fc49711ff4d991bdcf676a848accd0f..8f0101c3cf172e66144eb705e65f43eaf0af59ca 100644 (file)
--- a/src/ui-misc.cc
+++ b/src/ui-misc.cc
@@ -244,6 +244,7 @@ GtkWidget *pref_button_new(GtkWidget *parent_box, const gchar *icon_name,
 
        if (text)
                {
+               gtk_button_set_use_underline(GTK_BUTTON(button), TRUE);
                gtk_button_set_label(GTK_BUTTON(button), text);
                }