Daniel De Graaf ea722615c4 Allow enabing pango markup in the taskbar string
The fix for taskbar tooltips in 6a2d214b55 was incomplete: it causes the label
to contain escaped titles.  Use set_markup so that GTK decodes markup again,
but only if requested by the user (disabling markup is needed if using format
strings like "{title:.15}" to avoid terminating the string in the middle of an
XML entity).
2020-08-19 22:26:11 -04:00
..
2020-06-08 11:01:06 +08:00
2020-04-12 18:38:51 +02:00
2020-04-12 18:38:51 +02:00
2020-04-12 18:38:51 +02:00
2020-04-12 18:38:51 +02:00
2020-04-12 18:38:51 +02:00
2020-04-12 18:38:51 +02:00
2020-06-08 11:01:06 +08:00
2020-04-12 18:38:51 +02:00
2020-06-12 15:19:46 +02:00
2020-04-12 18:38:51 +02:00
2020-04-12 18:38:51 +02:00
2020-04-25 18:57:56 +02:00
2020-04-12 18:38:51 +02:00