From: Peter Hofmann Date: Sat, 25 Apr 2020 07:49:15 +0000 (+0200) Subject: Make tab width customizable X-Git-Tag: v1.0.0~93 X-Git-Url: https://git.armaanb.net/?p=chorizo.git;a=commitdiff_plain;h=675ebdcbebc2e068218c4fe67874af7aed02e573 Make tab width customizable --- diff --git a/browser.c b/browser.c index 48ff848..ca8eb37 100644 --- a/browser.c +++ b/browser.c @@ -97,6 +97,7 @@ static gboolean initial_wc_setup_done = FALSE; static GHashTable *keywords = NULL; static gchar *search_text = NULL; static GtkPositionType tab_pos = GTK_POS_TOP; +static gint tab_width_chars = 20; static gchar *user_agent = NULL; @@ -234,7 +235,7 @@ client_new(const gchar *uri, WebKitWebView *related_wv, gboolean show) c->tablabel = gtk_label_new(__NAME__); gtk_label_set_ellipsize(GTK_LABEL(c->tablabel), PANGO_ELLIPSIZE_END); - gtk_label_set_width_chars(GTK_LABEL(c->tablabel), 20); + gtk_label_set_width_chars(GTK_LABEL(c->tablabel), tab_width_chars); evbox = gtk_event_box_new(); gtk_container_add(GTK_CONTAINER(evbox), c->tablabel); @@ -690,6 +691,10 @@ grab_environment_configuration(void) tab_pos = GTK_POS_LEFT; } + e = g_getenv(__NAME_UPPERCASE__"_TAB_WIDTH_CHARS"); + if (e != NULL) + tab_width_chars = atoi(e); + e = g_getenv(__NAME_UPPERCASE__"_USER_AGENT"); if (e != NULL) user_agent = g_strdup(e); diff --git a/man1/lariza.1 b/man1/lariza.1 index dc69965..0a7573e 100644 --- a/man1/lariza.1 +++ b/man1/lariza.1 @@ -70,6 +70,9 @@ the command line. Defaults to \fBabout:blank\fP. Can be one of \fBtop\fP (default), \fBright\fP, \fBbottom\fP, \fBleft\fP. .TP +\fBLARIZA_TAB_WIDTH_CHARS\fP +An integer, determines width of tabs. Defaults to 20. +.TP \fBLARIZA_USER_AGENT\fP \fBlariza\fP will identify itself with this string. Uses WebKit's default value if unset.