Community
Participate
Working Groups
void releaseWidget () {
display.removeMouseHoverTimeout (handle);
boolean hadFocus = display.getFocusControl () == this;
super.releaseWidget ();
if (hadFocus) fixFocus (this);
int /*long*/ imHandle = imHandle ();
if (imHandle != 0) {
OS.gtk_im_context_reset (imHandle);