view pyink/active-empty.png @ 1413:b8dfa491ed9d

Use app.refresh() instead of redraw_changed()
author Thinker K.F. Li <thinker@codemud.net>
date Wed, 06 Apr 2011 11:14:15 +0800
parents 9ba94c577a6f
children
line wrap: on
line source

(binary:image/png)