genode/repos/gems/src/server/wm
2017-02-27 15:37:49 +01:00
..
decorator_nitpicker.h server/wm: API transition 2017-01-13 13:06:58 +01:00
direct_nitpicker.h Adapt high-level components to new parent API 2016-11-30 13:37:03 +01:00
last_motion.h wm: decouple decorator and layouter from wm 2015-07-06 12:22:28 +02:00
layouter_nitpicker.h server/wm: API transition 2017-01-13 13:06:58 +01:00
main.cc update Reporter constructors 2017-02-07 19:20:29 +01:00
nitpicker.h Adapt components to new Event::CHARACTER type 2017-02-27 15:37:49 +01:00
target.mk server/wm: API transition 2017-01-13 13:06:58 +01:00
window_registry.h base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00