mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Sculpt: prevent nitpicker's resize warnings
This patch increases the RAM quota of the top-level nitpicker instance to 12 MiB so that resize operations can be buffered for resolutions up to 2560x1080. It mutes diagnostic messages of the form "Warning: Gui (...) not enough RAM to preserve buffer content during resize" and improves the window-resize experience.
This commit is contained in:
@@ -276,7 +276,7 @@ install_config {
|
||||
</start>
|
||||
|
||||
<start name="nitpicker" caps="1000" priority="0">
|
||||
<resource name="RAM" quantum="6M"/>
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides>
|
||||
<service name="Gui"/> <service name="Capture"/> <service name="Event"/>
|
||||
</provides>
|
||||
|
||||
Reference in New Issue
Block a user