genode/repos/gems
Norman Feske e69ade5299 decorator: use timer for animation timing
This patch changes the precision of the configuration's motion attribute
to a multiple of 10 ms (centi-seconds). The previous version used steps
of 20 ms. Hence, one needs to adjust existing configurations by doubling
the motion attribute values of the themed decorator.

Issue #5347
2024-10-08 09:09:23 +02:00
..
include gui_session: manage view ID at the client side 2024-08-27 15:29:38 +02:00
lib gems: VFS OSS plugin for Record/Play session 2024-04-12 15:08:00 +02:00
recipes wm: account session resources 2024-10-07 15:54:59 +02:00
run wm: account session resources 2024-10-07 15:54:59 +02:00
sculpt decorator: use timer for animation timing 2024-10-08 09:09:23 +02:00
src decorator: use timer for animation timing 2024-10-08 09:09:23 +02:00
README Update README files 2023-03-13 14:32:53 +01:00

This directory is a source-code repository containing Genode-specific services
and applications. In contrast to the components hosted in the 'os' repository,
programs contained in 'gems' are able to leverage the functionalities provided
by higher-level repositories such as 'libports'. To use the 'gems' repository,
make sure to also add those repositories to your build configuraion.