mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
582e0e718c
This patch improves the robustness of menu_view when encounting missing textures, which can happen during development when using styled buttons and frames. With the patch, menu_view outputs diagnostic messages, pinpointing the problem. The patch also updates the texture handling to use the 'File_content' utility and the VFS for obtaining PNG images. Issue #3629