comparison Feed.py @ 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 aaec263f07ca
children a8442c3487b5
comparison
equal deleted inserted replaced
45:0604e374c1d6 46:03358c113170