annotate worm.png @ 46:03358c113170

Better preferences handling: the GUI's responsibility is to convert the input from the event into a boolean value
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sun, 16 May 2010 07:54:24 +0200
parents f9a3223182c5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26
f9a3223182c5 add a window icon
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
1 (binary:image/png)