[Bug] cursor_jump does not jump when moving windows

[JSGRD22]

Describe the bug

Setting the cursor_jump trigger to window_focus does not cause the cursor to jump when moving a window around. This results in problems when attempting to use focus follows mouse, as chaining movements becomes impossible.

Reproduction

1. set trigger under general:cursor_jump to window_focus
2. switch to a different a window, the cursor will jump onto the new window
3. move a window, the cursor will not follow the moved window and will instead focus on another window

Stack trace or error logs (if applicable)

No response

Version number

3.7.0

[JSGRD22]

I recently realised that I had been using focus follows mouse the windows feature, instead of the config option. The immediate focus change does not occur when using the config option, which makes it less annoying. However, it would still make more sense to move the cursor with the window.