ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 01:11:06 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
ec50c008bb
genode/repos/gems/recipes/raw/motif_wm/wm.config

107 lines
4.1 KiB
Plaintext
Raw Normal View History

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
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="CPU"/>
<service name="LOG"/>
Rename "Nitpicker" service name to "Gui" Issue #3778
2020-06-11 14:06:21 +00:00
<service name="Gui"/>
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
<service name="Timer"/>
wm: shape report interception mechanism This patch simplifies the propagation of pointer shapes from window-manager clients to the pointer. The "shape" report is routed to the wm server, which, in turn, reports it to the pointer. This way, the pointer can easily correlate the label of the application's "shape" report with the label of the application's Nitpicker session. The formerly used manual rewriting of the "shape" label is not needed anymore. Since the wm server provides a "Report" service now, its <provides> declaration must cover "Report" in addition to "Nitpicker" to avoid runtime error messages. Vice versa, the wm is now expected to request "shape" reports, which should be routed to the pointer (using the 'label_last' routing attribute). Fixes #3165
2019-02-18 15:02:29 +00:00
<service name="Report"/>
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
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
Rename "Nitpicker" service name to "Gui" Issue #3778
2020-06-11 14:06:21 +00:00
<service name="Gui">
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
<default-policy> <child name="wm"/> </default-policy>
</service>
wm: forwarding of clipboard ROM/Report sessions The labels of clipboard ROM and clipboard report sessions of WM clients must be consistent with the client's nitpicker label. Hence, we must route those sessions through the window manager, analogously to the approach taken for shape reports in #3165. Issue #3437
2019-06-27 17:03:03 +00:00
<service name="Report"> <!-- for reporting 'shape' and 'clipboard' reports through the wm -->
<default-policy> <child name="wm"/> </default-policy>
</service>
<service name="ROM"> <!-- for accessing 'clipboard' ROMs through the wm -->
wm: shape report interception mechanism This patch simplifies the propagation of pointer shapes from window-manager clients to the pointer. The "shape" report is routed to the wm server, which, in turn, reports it to the pointer. This way, the pointer can easily correlate the label of the application's "shape" report with the label of the application's Nitpicker session. The formerly used manual rewriting of the "shape" label is not needed anymore. Since the wm server provides a "Report" service now, its <provides> declaration must cover "Report" in addition to "Nitpicker" to avoid runtime error messages. Vice versa, the wm is now expected to request "shape" reports, which should be routed to the pointer (using the 'label_last' routing attribute). Fixes #3165
2019-02-18 15:02:29 +00:00
<default-policy> <child name="wm"/> </default-policy>
</service>
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
<start name="report_rom">
<resource name="RAM" quantum="4M"/>
<provides>
<service name="Report"/>
<service name="ROM"/>
</provides>
<config>
<policy label="layouter -> window_list" report="wm -> window_list"/>
<policy label="layouter -> focus_request" report="wm -> focus_request"/>
<policy label="layouter -> rules" report="layouter -> rules"/>
<policy label="decorator -> window_layout" report="layouter -> window_layout"/>
<policy label="wm -> resize_request" report="layouter -> resize_request"/>
<policy label="decorator -> pointer" report="wm -> pointer"/>
<policy label="layouter -> hover" report="decorator -> hover"/>
<policy label="layouter -> decorator_margins" report="decorator -> decorator_margins"/>
<policy label="wm -> focus" report="layouter -> focus"/>
</config>
</start>
wm: account session resources With this patch, the wm accounts RAM and caps consumed on behalf of its clients to the respective client's session quota instead of paying out of its own pocket. This should make the wm resilient against resource exhaustion and lowers the quota requirements. Issue #5340
2024-09-02 15:20:12 +00:00
<start name="wm" caps="100">
<resource name="RAM" quantum="2M"/>
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
<provides>
Rename "Nitpicker" service name to "Gui" Issue #3778
2020-06-11 14:06:21 +00:00
<service name="Gui"/> <service name="Report"/> <service name="ROM"/>
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
</provides>
<config>
<policy label_prefix="decorator" role="decorator"/>
<policy label_prefix="layouter" role="layouter"/>
os/session_policy: warn if no policy exists The situation where a 'Session_policy' is constructed for a label with no matching policy is in almost all cases a configuration problem. A diagnostic message eases pin-pointing such mistaks. By adding the message to the 'Session_policy', servers don't need to manually handle the exception to provide diagnostic information. This simplifies the server code in many components.
2019-01-22 17:57:22 +00:00
<default-policy/>
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
</config>
<route>
<service name="ROM" label="resize_request"> <child name="report_rom"/> </service>
<service name="ROM" label="focus"> <child name="report_rom"/> </service>
wm: shape report interception mechanism This patch simplifies the propagation of pointer shapes from window-manager clients to the pointer. The "shape" report is routed to the wm server, which, in turn, reports it to the pointer. This way, the pointer can easily correlate the label of the application's "shape" report with the label of the application's Nitpicker session. The formerly used manual rewriting of the "shape" label is not needed anymore. Since the wm server provides a "Report" service now, its <provides> declaration must cover "Report" in addition to "Nitpicker" to avoid runtime error messages. Vice versa, the wm is now expected to request "shape" reports, which should be routed to the pointer (using the 'label_last' routing attribute). Fixes #3165
2019-02-18 15:02:29 +00:00
<service name="Report" label_last="shape"> <parent/> </service>
wm: forwarding of clipboard ROM/Report sessions The labels of clipboard ROM and clipboard report sessions of WM clients must be consistent with the client's nitpicker label. Hence, we must route those sessions through the window manager, analogously to the approach taken for shape reports in #3165. Issue #3437
2019-06-27 17:03:03 +00:00
<service name="Report" label_last="clipboard"> <parent/> </service>
<service name="ROM" label_last="clipboard"> <parent/> </service>
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
<service name="Report"> <child name="report_rom"/> </service>
Rename "Nitpicker" service name to "Gui" Issue #3778
2020-06-11 14:06:21 +00:00
<service name="Gui" label=""> <parent label="focus"/> </service>
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
<any-service>
<child name="nitpicker"/> <parent/> <any-child/>
</any-service>
</route>
</start>
wm: account session resources With this patch, the wm accounts RAM and caps consumed on behalf of its clients to the respective client's session quota instead of paying out of its own pocket. This should make the wm resilient against resource exhaustion and lowers the quota requirements. Issue #5340
2024-09-02 15:20:12 +00:00
<start name="layouter" caps="120">
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
<binary name="window_layouter"/>
<resource name="RAM" quantum="4M"/>
<route>
<service name="ROM" label="config"> <parent label="layouter.config"/> </service>
<service name="ROM" label="window_list"> <child name="report_rom"/> </service>
<service name="ROM" label="focus_request"> <child name="report_rom"/> </service>
<service name="ROM" label="hover"> <child name="report_rom"/> </service>
<service name="ROM" label="decorator_margins"> <child name="report_rom"/> </service>
<service name="ROM" label="rules"> <child name="report_rom"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
Rename "Nitpicker" service name to "Gui" Issue #3778
2020-06-11 14:06:21 +00:00
<service name="Gui"> <child name="wm"/> </service>
wm: forwarding of clipboard ROM/Report sessions The labels of clipboard ROM and clipboard report sessions of WM clients must be consistent with the client's nitpicker label. Hence, we must route those sessions through the window manager, analogously to the approach taken for shape reports in #3165. Issue #3437
2019-06-27 17:03:03 +00:00
<any-service> <parent/> <any-child/> </any-service>
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
</route>
</start>
gems/decorators: adjust resources for WQHD displays 2560x1440 resolutions require more RAM resources. Additionally, make sure that the decorator 'init' receives enough CAPs to service the decorator configuration. fixes #4485
2022-04-26 13:00:07 +00:00
<start name="decorator" caps="450">
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
<binary name="init"/>
<resource name="RAM" quantum="12M"/>
<route>
<service name="ROM" label="config">
<parent label="decorator_init.config"/> </service>
<service name="ROM" label="window_layout"> <child name="report_rom"/> </service>
<service name="ROM" label="pointer"> <child name="report_rom"/> </service>
<service name="Report" label="decorator_margins"> <child name="report_rom"/> </service>
<service name="Report" label="hover"> <child name="report_rom"/> </service>
Rename "Nitpicker" service name to "Gui" Issue #3778
2020-06-11 14:06:21 +00:00
<service name="Gui"> <child name="wm"/> </service>
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
wm: forwarding of clipboard ROM/Report sessions The labels of clipboard ROM and clipboard report sessions of WM clients must be consistent with the client's nitpicker label. Hence, we must route those sessions through the window manager, analogously to the approach taken for shape reports in #3165. Issue #3437
2019-06-27 17:03:03 +00:00
<any-service> <parent/> <any-child/> </any-service>
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
</route>
</start>
</config>
Reference in New Issue Copy Permalink