genode/repos/gems/src
Benjamin Lamowski b05b7f17f3 sculpt_manager: bump editor default quota for large fonts and 4k
When trying to open a file in the Files view with font size set to
Large on 4k screens, the editor's / `text_area`'s `view` child fails to
bump its RAM quota when the editor's default quota is too small.

To mitigate the issue, bump the editor's default quota to 80MiB.
The long-term fix would be for the editor to request more RAM from the
runtime to satisfy the `view` RAM request.

Issue #5356
Issue #5383
2024-11-20 08:58:39 +01:00
..
app sculpt_manager: bump editor default quota for large fonts and 4k 2024-11-20 08:58:39 +01:00
lib Add Input::Session::exclusive() interface 2024-10-08 09:09:24 +02:00
server gui_session: window-closed state as attribute 2024-10-30 08:14:55 +01:00
test tiled_wm: fix dependency to util.h 2024-10-30 08:14:53 +01:00
trace_recorder/policy gems: src/lib/trace_recorder -> src/trace_recorder 2022-09-19 14:00:34 +02:00