get_hover_region_for_element


Description:

public Rectangle get_hover_region_for_element (DockElement element)

The cursor region for interacting with a dock element.

Parameters:

element

the dock element to find a region for

Returns:

the region for the dock item