fix slow mass (de)selection in clipper mode

This commit is contained in:
Garux 2018-05-15 02:55:05 +03:00
parent a18a5d7c9b
commit 0a4d325f85

View File

@ -71,14 +71,8 @@ void Clipper_setPlanePoints( const ClipperPoints& points ){
Clipper_update();
}
void Clipper_SelectionChanged( const Selectable& selectable ){
// globalOutputStream() << " Clipper_SelectionChanged\n";
if ( Clipper_ok() )
Clipper_update();
}
#include "gtkutil/idledraw.h"
void Clipper_BoundsChanged(){
// globalOutputStream() << " Clipper_BoundsChanged\n";
if ( Clipper_ok() )
Clipper_update();
}
@ -89,6 +83,10 @@ void Clipper_BoundsChanged_Queue(){
g_idle_clipper_update.queueDraw();
}
void Clipper_SelectionChanged( const Selectable& selectable ){
Clipper_BoundsChanged_Queue();
}
void Clipper_modeChanged( bool isClipper ){
GdkCursor* cursor = isClipper? g_clipper_cursor : 0;