X-Git-Url: https://git.armaanb.net/?p=chorizo.git;a=blobdiff_plain;f=browser.c;h=e9a662ea5f08218de653a3797fa5a127169050bf;hp=847cf09e3b6651396dfad08bad3dcb92ecdf0950;hb=644a26a9a24fd319a7c7f5dbd8c07550d90bf64d;hpb=813150ab894f92565735ad5b140a41a512fc6264 diff --git a/browser.c b/browser.c index 847cf09..e9a662e 100644 --- a/browser.c +++ b/browser.c @@ -245,7 +245,10 @@ client_new(const gchar *uri, WebKitWebView *related_wv, gboolean show) gtk_label_set_ellipsize(GTK_LABEL(c->tablabel), PANGO_ELLIPSIZE_END); gtk_label_set_width_chars(GTK_LABEL(c->tablabel), tab_width_chars); - tabbox = gtk_box_new(GTK_ORIENTATION_HORIZONTAL, 0); + /* XXX I don't own a HiDPI screen, so I don't know if scale_factor + * does the right thing. */ + tabbox = gtk_box_new(GTK_ORIENTATION_HORIZONTAL, + 5 * gtk_widget_get_scale_factor(mw.win)); gtk_box_pack_start(GTK_BOX(tabbox), c->tabicon, FALSE, FALSE, 0); gtk_box_pack_start(GTK_BOX(tabbox), c->tablabel, TRUE, TRUE, 0);