diff options
| author | TingPing <tingping@tingping.se> | 2015-04-21 15:35:15 -0400 |
|---|---|---|
| committer | TingPing <tingping@tingping.se> | 2015-04-21 15:35:15 -0400 |
| commit | 78e51a4f3f499d9a8f109abec5183b7c210b206b (patch) | |
| tree | 99820d92818a861a74d1b2976f36657183372010 /src | |
| parent | 174db0eb7fce7735f4ba0ffd80b3974ffeec21dd (diff) | |
Fix mode button text being cut off
This no longer restricts their width and uses monospace fonts so they are still the same width. Closes #1356 Fixes #1354
Diffstat (limited to 'src')
| -rw-r--r-- | src/fe-gtk/maingui.c | 23 |
1 files changed, 15 insertions, 8 deletions
diff --git a/src/fe-gtk/maingui.c b/src/fe-gtk/maingui.c index ee1854c0..11b88ad9 100644 --- a/src/fe-gtk/maingui.c +++ b/src/fe-gtk/maingui.c @@ -2003,17 +2003,24 @@ mg_flagbutton_cb (GtkWidget *but, char *flag) static GtkWidget * mg_create_flagbutton (char *tip, GtkWidget *box, char *face) { - GtkWidget *wid; + GtkWidget *btn, *lbl; + char label_markup[16]; + + g_snprintf (label_markup, sizeof(label_markup), "<tt>%s</tt>", face); + lbl = gtk_label_new (NULL); + gtk_label_set_markup (GTK_LABEL(lbl), label_markup); - wid = gtk_toggle_button_new_with_label (face); - gtk_widget_set_size_request (wid, 18, 0); - gtk_widget_set_tooltip_text (wid, tip); - gtk_box_pack_start (GTK_BOX (box), wid, 0, 0, 0); - g_signal_connect (G_OBJECT (wid), "toggled", + btn = gtk_toggle_button_new (); + gtk_widget_set_size_request (btn, -1, 0); + gtk_widget_set_tooltip_text (btn, tip); + gtk_container_add (GTK_CONTAINER(btn), lbl); + + gtk_box_pack_start (GTK_BOX (box), btn, 0, 0, 0); + g_signal_connect (G_OBJECT (btn), "toggled", G_CALLBACK (mg_flagbutton_cb), face); - show_and_unfocus (wid); + show_and_unfocus (btn); - return wid; + return btn; } static void |