Laurent Bessard [Thu, 04 Jul 2013 11:18:04 +0200] rev 1273
Fix refresh bug when scrolling Viewer while dragging graphic element or rubberband
Laurent Bessard [Wed, 03 Jul 2013 11:08:09 +0200] rev 1272
Fixed bug when open editor while Build is working