icons/replace-coords.png@89a9235b47d3
icons/replace-coords.png
Tue, 30 Jul 2013 07:16:48 +0300
- author
- Santeri Piippo <crimsondusk64@gmail.com>
- date
- Tue, 30 Jul 2013 07:16:48 +0300
- changeset 401
- 89a9235b47d3
- parent 206
- c069e7b5f5f3
- child 732
- 220cda74d6b7
- permissions
- -rw-r--r--
Use repaint() instead of update() when redrawing the scene after a pick so that the new scene is repainted immediately.
