| 6427 | } |
| 6428 | |
| 6429 | void Editor::MouseLeave() |
| 6430 | { |
| 6431 | SetHotSpotRange ( NULL ); |
| 6432 | if ( !HaveMouseCapture() ) { |
| 6433 | ptMouseLast = Point ( -1, -1 ); |
| 6434 | DwellEnd ( true ); |
| 6435 | } |
| 6436 | } |
| 6437 | |
| 6438 | static bool AllowVirtualSpace ( int virtualSpaceOptions, bool rectangular ) |
| 6439 | { |