Skip to content

Escape window title and other externally-sourced texts in taskmanager and pager

Prevents the labels from trying to interpret HTML etc.

Test by making a window with title <font color="red"> some text, then checking the window title in Pager and Task Manager applets.

Merge request reports