diff examples/menu/list.svg @ 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 58b6337fb3b2
children
line wrap: on
line diff