3419 typedef Vector2 DeviceVector;  typedef
3421 inline DeviceVector window_to_normalised_device( WindowVector window, std::size_t width, std::size_…  in window_to_normalised_device()
3422 …return DeviceVector( screen_normalised( window.x(), width ), screen_normalised( height - 1 - windo…  in window_to_normalised_device()
3429 inline DeviceVector device_constrained( DeviceVector device ){  in device_constrained()
3430 	return DeviceVector( device_constrained( device.x() ), device_constrained( device.y() ) );  in device_constrained()
3441 typedef Callback1<DeviceVector> MouseEventCallback;
3481 	DeviceVector delta( m_current - m_start );  in getDeviceArea()
3493 DeviceVector m_start;
3494 DeviceVector m_current;
3495 DeviceVector m_epsilon;
3508 void testSelect( DeviceVector position ){  in testSelect()
3511 		DeviceVector delta( position - m_start );  in testSelect()
3513 			DeviceVector delta( position - m_start );  in testSelect()
3525 	m_start = m_current = DeviceVector( 0.0f, 0.0f );  in testSelect()
3552 void mouseDown( DeviceVector position ){  in mouseDown()
3556 void mouseMoved( DeviceVector position ){  in mouseMoved()
3560 typedef MemberCaller1<Selector_, DeviceVector, &Selector_::mouseMoved> MouseMovedCaller;
3562 void mouseUp( DeviceVector position ){  in mouseUp()
3568 typedef MemberCaller1<Selector_, DeviceVector, &Selector_::mouseUp> MouseUpCaller;
3575 DeviceVector m_epsilon;
3578 bool mouseDown( DeviceVector position ){  in mouseDown()
3582 void mouseMoved( DeviceVector position ){  in mouseMoved()
3585 typedef MemberCaller1<Manipulator_, DeviceVector, &Manipulator_::mouseMoved> MouseMovedCaller;
3587 void mouseUp( DeviceVector position ){  in mouseUp()
3592 typedef MemberCaller1<Manipulator_, DeviceVector, &Manipulator_::mouseUp> MouseUpCaller;
3629 …DeviceVector epsilon( SELECT_EPSILON / static_cast<float>( m_width ), SELECT_EPSILON / static_cast…  in onSizeChanged()
3636 		DeviceVector devicePosition( window_to_normalised_device( position, m_width, m_height ) );  in onMouseDown()
3649 …DeviceVector devicePosition( device_constrained( window_to_normalised_device( position, m_width, m…  in onMouseDown()