all repos — tint2 @ af1fe52725822a06079a1450057ab5c64fc9846b

fork of the tint2 desktop panel for my custom setup - only minimized windows across all desktops for the taskbar 

Set desktop name font to bold in tint2conf
o9000 mrovi9000@gmail.com
commit

af1fe52725822a06079a1450057ab5c64fc9846b

parent

11b285d045b79d3c845d9f68d272aaddb7030334

1 files changed, 4 insertions(+), 1 deletions(-)

jump to
M src/tint2conf/properties.c → src/tint2conf/properties.c 
@@ -3127,7 +3127,10 @@ gtk_widget_show(label);
 	gtk_table_attach(GTK_TABLE(table), label, col, col+1, row, row+1, GTK_FILL, 0, 0, 0);
 	col++;
 
-	taskbar_name_font = gtk_font_button_new_with_font(get_default_font());
+	PangoFontDescription *taskbar_name_font_desc = pango_font_description_from_string(get_default_font());
+	pango_font_description_set_weight(taskbar_name_font_desc, PANGO_WEIGHT_BOLD);
+	taskbar_name_font = gtk_font_button_new_with_font(pango_font_description_to_string(taskbar_name_font_desc));
+	pango_font_description_free(taskbar_name_font_desc);
 	gtk_widget_show(taskbar_name_font);
 	gtk_table_attach(GTK_TABLE(table), taskbar_name_font, col, col+3, row, row+1, GTK_FILL, 0, 0, 0);
 	col++;