void Manipulator::pointer_motion(int x, int y)
{
- pointer_y = y;
- gpointer = designer.map_pointer_to_ground(x, event_source.get_height()-1-y);
+ pointer_y = event_source.get_height()-1-y;
+ gpointer = designer.map_pointer_to_ground(x, pointer_y);
if(mode==MOVE)
{
}
else if(mode==ELEVATE)
{
- float dz = (y-elev_origin)/1000.;
+ float dz = (pointer_y-elev_origin)/1000.;
signal_status.emit(format("Elevation: %+.0fmm (%.0fmm)", dz*1000, (center.z+dz)*1000));