Norman Feske 5e3b6ee08f terminal: fix tiling artifacts in shrinked window
When shriking the terminal window, the view must be shrinked before
shriking the pixel buffer. Otherwise, when the buffer becomes smaller
than the view, nitpicker fills the excess view area with tiled content
of the buffer, which looks funny.

Related to issue #5350
2024-10-30 08:14:54 +01:00
..
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.