issue/2
master
Seems to wors, but:
Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
Charmingly, this seems to work nicely. Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
They combine some traits of both {enter,leave}Event and focus{In,Out}Event. Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
They handle both focus and highlight, which seems logical. This fixes most annoying bugs with desktop switching. Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
as a widget can lose its focus. Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
Just for info and documentation, am I right to assume this PR has been replaced by PR #9 and hence it has been closed?
This is actually a duplicate due to a connection problem. I put the keep-branch label because it shares the same branch with #9.
keep-branch
Thanks Philippe, yes noticed the branch in common wiht #9
PR #9 has been merged, so the keep branch tag is no longer required.
No due date set.
No dependencies set.
Deleting a branch is permanent. It CANNOT be undone. Continue?
Seems to wors, but:
Just for info and documentation, am I right to assume this PR has been replaced by PR #9 and hence it has been closed?
This is actually a duplicate due to a connection problem. I put the
keep-branch
label because it shares the same branch with #9.Thanks Philippe, yes noticed the branch in common wiht #9
PR #9 has been merged, so the keep branch tag is no longer required.