From 4b3376469db3699e624626e7f0f7e45ef59df527 Mon Sep 17 00:00:00 2001
From: ernjvr <ernjvr@gmail.com>
Date: Tue, 21 Aug 2018 12:25:43 +0200
Subject: [PATCH] ui: display translation labels as html instead of plain text
 (#2815)

Fixes #2575
---
 ui/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/index.html b/ui/index.html
index 5003f00b369..6b3eef8174e 100644
--- a/ui/index.html
+++ b/ui/index.html
@@ -1759,7 +1759,7 @@
             // Translate labels on the fly
             $.each($.find('translate[key]'), function(idx, elem) {
                 var key = $(elem).attr('key');
-                $(elem).text(translate(key));
+                $(elem).html(translate(key));
             });
 
             // Translate element attributes