diff options
author | Patrick McDermott <pj@pehjota.net> | 2017-09-17 02:42:55 (EDT) |
---|---|---|
committer | Patrick McDermott <pj@pehjota.net> | 2017-09-17 02:42:55 (EDT) |
commit | cbd6db221e3d68f4b7243262ecca942fd26a4382 (patch) | |
tree | 64f05ffa09adc5241e7217ba512c83c5570f2bdf /src | |
parent | c9f6932f455139cbe5653a124410b897c395cc4e (diff) | |
download | marquee-cbd6db221e3d68f4b7243262ecca942fd26a4382.zip marquee-cbd6db221e3d68f4b7243262ecca942fd26a4382.tar.gz marquee-cbd6db221e3d68f4b7243262ecca942fd26a4382.tar.bz2 |
src/tab-chrome.c: Add positions to tab labels
Diffstat (limited to 'src')
-rw-r--r-- | src/tab-chrome.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tab-chrome.c b/src/tab-chrome.c index c61d30e..cbfebb1 100644 --- a/src/tab-chrome.c +++ b/src/tab-chrome.c @@ -94,7 +94,8 @@ static void update_tab_label(MqTabChrome *chrome) { gtk_label_set_text(GTK_LABEL(chrome->tab_label), - webkit_web_view_get_title(chrome->web_view)); + g_strdup_printf("%d. %s", chrome->tab_position + 1, + webkit_web_view_get_title(chrome->web_view))); } void |