Well it's accessible by the menu publicly so it is supposed to work properly at
some point I think... :)
However I already wondered why not prevent the move_mouse_target from being set
on "void" and just printing (stderr) a warning that we tried to do so (instead
of crashing). |