Christian Helmuth
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
Christian Helmuth
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +02:00
Christian Helmuth
6ea1179145
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
Norman Feske
d027f12764
depot: update recipe hashes
2019-04-02 09:36:39 +02:00
Christian Helmuth
ebe71a12ed
depot: update recipe hashes
2019-03-19 11:12:36 +01:00
Christian Helmuth
36adbef3f9
depot: update recipe hashes
2019-02-28 11:34:45 +01:00
Christian Helmuth
46a29532a9
depot: update recipe hashes
2019-02-26 14:47:02 +01:00
Norman Feske
0e0b6bdde7
depot: update recipe hashes
2019-02-19 11:13:56 +01:00
Christian Helmuth
271e2398f9
depot: update recipe hashes
2019-02-12 14:24:12 +01:00
Norman Feske
3a169d3a78
depot: update recipe hashes
2019-01-30 13:55:20 +01:00
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
Norman Feske
ed65267bc5
depot: update recipe hashes
2019-01-14 12:34:41 +01:00
Christian Helmuth
21a61cd583
depot: update recipe hashes
2019-01-07 12:43:37 +01:00
Christian Helmuth
11eecdc7bd
depot: update recipe hashes
2018-11-29 11:54:31 +01:00
Norman Feske
c6fd0055b1
sculpt: split window manager into multiple pkgs
...
This commit moves the window layouter and window decorator into
dedicated packages that can now be combined with the "wm" server at
runtime and restarted/reconfigured/swapped-out independently.
To use the window manager, one must start the 'wm', 'window_layouter',
and one of the 'motif_decorator' or 'themed_decorator' subsystems.
Fixes #3024
2018-11-27 11:36:35 +01:00
Christian Helmuth
70e7499e48
depot: update recipe hashes
2018-11-16 15:07:53 +01:00
Norman Feske
1a75c5227e
Rename wm pkg to motif_wm
...
This way, we can subsequently introduce a new 'wm' pkg that contains the
window manager only, w/o any hard-wired decorator and layouter.
Issue #3024
2018-11-16 15:07:52 +01:00
