-
small optimization: don't bother processing all events immediatly if no complex GUI update (like adding a widget) are expected
993647db
small optimization: don't bother processing all events immediatly if no complex GUI update (like adding a widget) are expected