* Updates the selector to the last-known mouse position. */
| 1515 | * Updates the selector to the last-known mouse position. |
| 1516 | */ |
| 1517 | void Map::refreshSelectorPosition() |
| 1518 | { |
| 1519 | setSelectorPosition(_mouseX, _mouseY); |
| 1520 | } |
| 1521 | |
| 1522 | /* |
| 1523 | * Special handling for setting the height of the map viewport. |