genode/repos/gems/src
Norman Feske 5b650434b0 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
2020-02-20 12:08:16 +01:00
..
app menu_view: unquote label text attribute value 2020-02-20 12:08:16 +01:00
lib vfs/pipe: let num_dirent return 0 2019-12-19 17:01:42 +01:00
server wm: destroy view before newly creating it 2020-02-20 12:08:16 +01:00
test qt5: use pthread backend for QThreads 2020-02-20 12:08:16 +01:00