Johannes Schlatow 4383579db6 window_layouter: improve focus history ...

If no window has ever been focused, next() always returns an invalid
window id. As a consequence, there is no way to cycle through the focus
history without an explicit focus event (e.g. mouse hover).

Instead, next() should return the first window from the focus history if the
currently focused window is not present.

Fixes genodelabs/genode#4164

2021-05-28 14:16:45 +02:00

..

app

window_layouter: improve focus history

2021-05-28 14:16:45 +02:00

lib

vfs_ttf: update glyphs when font file changes

2021-05-28 14:15:27 +02:00

server

ssh_terminal: avoid deadlock during bind callback

2021-05-28 14:15:27 +02:00

test

exec_terminal: sandbox errors about unknown node

2021-05-05 11:35:29 +02:00