Mx.FocusManager.move_focus – mx-2.0 Reference Manual
move_focus
Description:
public
void
move_focus
(
FocusDirection
direction)
Moves the current focus in the given direction.
Parameters:
this
the focus manager
direction
The direction to move focus in
2022 vala-language.org