Fix problem painting a new tip window (with alpha) over a dirty (non-validated) area in tool-bar.

This commit is contained in:
David Capello 2011-02-15 09:50:14 -03:00
parent cb2eb74ff0
commit 9658fc3747

View File

@ -515,6 +515,10 @@ void ToolBar::closeTipWindow()
m_tipWindow->closeWindow(NULL);
delete m_tipWindow;
m_tipWindow = NULL;
// Flush JM_DRAW messages and send them
jwidget_flush_redraw(ji_get_default_manager());
jmanager_dispatch_messages(ji_get_default_manager());
}
}