From e3fcff7f2183f64918b498c2c458bbd39615c424 Mon Sep 17 00:00:00 2001 From: o9000 Date: Sat, 12 Dec 2015 15:29:33 +0100 Subject: [PATCH] Make the default font for workspace name bold --- src/taskbar/taskbarname.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/taskbar/taskbarname.c b/src/taskbar/taskbarname.c index 7c2c01a..18a4c34 100644 --- a/src/taskbar/taskbarname.c +++ b/src/taskbar/taskbarname.c @@ -84,8 +84,10 @@ void init_taskbarname_panel(void *p) void taskbarname_init_fonts() { - if (!panel_config.taskbarname_font_desc) + if (!panel_config.taskbarname_font_desc) { panel_config.taskbarname_font_desc = pango_font_description_from_string(get_default_font()); + pango_font_description_set_weight(panel_config.taskbarname_font_desc, PANGO_WEIGHT_BOLD); + } } void taskbarname_default_font_changed()