genode/repos/gems/run/sculpt/launcher/window_layouter

<launcher pkg="window_layouter">
	<route>
		<service name="ROM" label="window_list">       <child name="wm"/> </service>
		<service name="ROM" label="focus_request">     <child name="wm"/> </service>
		<service name="ROM" label="hover">             <child name="wm"/> </service>
		<service name="ROM" label="decorator_margins"> <child name="wm"/> </service>
		<service name="ROM" label="rules">             <child name="wm"/> </service>
		<service name="Report">                        <child name="wm"/> </service>
		<service name="Nitpicker">                     <child name="wm"/> </service>
	</route>
</launcher>
sculpt: split window manager into multiple pkgs This commit moves the window layouter and window decorator into dedicated packages that can now be combined with the "wm" server at runtime and restarted/reconfigured/swapped-out independently. To use the window manager, one must start the 'wm', 'window_layouter', and one of the 'motif_decorator' or 'themed_decorator' subsystems. Fixes #3024 2018-11-16 14:41:58 +00:00			`<launcher pkg="window_layouter">`
			`<route>`
			`<service name="ROM" label="window_list"> <child name="wm"/> </service>`
			`<service name="ROM" label="focus_request"> <child name="wm"/> </service>`
			`<service name="ROM" label="hover"> <child name="wm"/> </service>`
			`<service name="ROM" label="decorator_margins"> <child name="wm"/> </service>`
			`<service name="ROM" label="rules"> <child name="wm"/> </service>`
			`<service name="Report"> <child name="wm"/> </service>`
			`<service name="Nitpicker"> <child name="wm"/> </service>`
			`</route>`
			`</launcher>`