Function GUI_Mouse_Show_InWidget

src/gui/gui.c:4055–4058

* Show the mouse if needed. Should be used in combination with * GUI_Mouse_Hide_InWidget(). */

 *  GUI_Mouse_Hide_InWidget().
 */
void GUI_Mouse_Show_InWidget(void)
{
	GUI_Mouse_Show_InRegion();
}

/**
 * Hide the mouse when it is inside the specified widget. Works with