menu_view: does not get focus from parent

[Boris Mulder]

Hi Norman,

As for menu_view, somehow on my own branch, the menu_view script crashed
with menu_view being out of ram. Somehow, giving it more ram fixed it.
Also, checking out a clean staging fixed it, so it must be some of my
changes that broke it. I will look into it myself then.

As for launcher, your fix made it work again, both the test script and
my own scenario. Thanks a lot!

-- 

Met vriendelijke groet / kind regards,

Boris Mulder

Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands
+31 35 631 3253 (office)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot from 2018-03-08 09-43-32.png
Type: image/png
Size: 298721 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20180308/2fc0e262/attachment.png>