Make the default font for workspace name bold
This commit is contained in:
parent
9a85f7f2c5
commit
e3fcff7f21
1 changed files with 3 additions and 1 deletions
|
@ -84,8 +84,10 @@ void init_taskbarname_panel(void *p)
|
||||||
|
|
||||||
void taskbarname_init_fonts()
|
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());
|
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()
|
void taskbarname_default_font_changed()
|
||||||
|
|
Loading…
Reference in a new issue