overlay: rounded text box, prefix, longer fades
authorAndrew Chadwick <andrewc-git@piffle.org>
Fri, 13 Jan 2012 20:20:34 +0000 (20:20 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Fri, 13 Jan 2012 20:23:07 +0000 (20:23 +0000)
commitb177a40d6a9293ab425e55ed3a06ffd2a3e4b8f7
tree5c727e8ec822d8b26af0489eb5aa9ad7e28396f2
parentc97b5e66ef637b246043d38b21f948edfeb101fa
overlay: rounded text box, prefix, longer fades

Round the scale text, prefix with "Zoom:". Make the fade last a little
longer. Rejig the fading overlay internals a little to make the fade
settings more understandable.
gui/overlays.py