diff src/ui_spinner.png @ 766:7148e125bf23

Check for existing editor command using is_valid_editor_command().
author zas_
date Fri, 30 May 2008 07:20:25 +0000
parents d907d608745f
children
line wrap: on
line diff