update_hovered_with_coords


Description:

public void update_hovered_with_coords (int x, int y)

Checks to see if the dock is being hovered by the mouse cursor.

Parameters:

x

the x coordinate of the pointer relative to the dock window

y

the y coordinate of the pointer relative to the dock window