genode/repos/gems/src/app/themed_decorator
Norman Feske ba2b0b8360 gems: remove the use of deprecated APIs
This patch also updates os/slave.h because the app/launcher cannot be
reasonably updated without it.

Issue #1987
Issue #3125
2019-01-30 13:49:54 +01:00
..
theme Window decorator that can be styled 2015-11-27 12:18:54 +01:00
config.h themed_decorator: new 'motion' policy attribute 2019-01-07 12:38:45 +01:00
main.cc gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
target.mk decorator: make window-layout updates more robust 2019-01-07 12:33:57 +01:00
theme.cc gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
theme.h gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
tint_painter.h Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
window.cc Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
window.h gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00