Launchers and clipboard issue

[Norman Feske]

Hi Dima,

On 01.02.21 11:15, Dima Sokolov wrote:
> <launcher pkg="genodelabs/pkg/qt5_textedit/2020-09-18">
>   <route>
>     <service name="File_system"> <child name="ram_fs"/> </service>
>     <service name="Gui"> <child name="themed_wm"/> </service>
>     <service name="Report" label="shape"> <child name="themed_wm"/> </service>
>     <service name="Report" label="clipboard"> <child name="themed_wm"/> </service>
>     <service name="ROM" label_last="clipboard"> <parent/> </service>

Note the inconsistency. The "clipboard" report (used for copy) is routed
to the window manager whereas the "clipboard" ROM (used for paste) is
routed to the parent directly. The last line should be:

   <service name="ROM" label="clipboard">
     <child name="themed_wm"/>
   </service>

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth