|
|
@ -168,8 +168,7 @@ void EDA_DRAW_PANEL_GAL::Refresh( bool aEraseBackground, const wxRect* aRect ) |
|
|
|
|
|
|
|
if( delta >= MinRefreshPeriod ) |
|
|
|
{ |
|
|
|
wxPaintEvent redrawEvent; |
|
|
|
wxPostEvent( this, redrawEvent ); |
|
|
|
ForceRefresh(); |
|
|
|
m_pendingRefresh = true; |
|
|
|
} |
|
|
|
else |
|
|
@ -181,6 +180,13 @@ void EDA_DRAW_PANEL_GAL::Refresh( bool aEraseBackground, const wxRect* aRect ) |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
void EDA_DRAW_PANEL_GAL::ForceRefresh() |
|
|
|
{ |
|
|
|
wxPaintEvent redrawEvent; |
|
|
|
wxPostEvent( this, redrawEvent ); |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
void EDA_DRAW_PANEL_GAL::SetEventDispatcher( TOOL_DISPATCHER* aEventDispatcher ) |
|
|
|
{ |
|
|
|
m_eventDispatcher = aEventDispatcher; |
|
|
|