From 5b650434b04a3600a97b7229810fa2464231d4c2 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 15 Jan 2020 00:04:10 +0100
Subject: [PATCH] menu_view: unquote label text attribute value

This patch enables the menu view to display '"' characters supplied via
the 'text' attribute of the <label> widget.

Issue #3607
Issue #3629
---
 repos/gems/src/app/menu_view/label_widget.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/src/app/menu_view/label_widget.h b/repos/gems/src/app/menu_view/label_widget.h
index d493df9e4d..4a3d8df1cb 100644
--- a/repos/gems/src/app/menu_view/label_widget.h
+++ b/repos/gems/src/app/menu_view/label_widget.h
@@ -47,6 +47,7 @@ struct Menu_view::Label_widget : Widget, Cursor::Glyph_position
 	{
 		_font = _factory.styles.font(node);
 		_text = node.attribute_value("text", Text(""));
+		_text = Xml_unquoted(_text);
 
 		_cursors.update_from_xml(_cursor_update_policy, node);
 	}