comparison engine/extensions/pychan/tools.py @ 221:e901bdec7578

Free mouse from GUI if no widget is dragged.
author phoku@33b003aa-7bff-0310-803a-e67f0ece8222
date Thu, 19 Mar 2009 19:04:07 +0000
parents 54bfd1015b35
children 33dd55160a9d
comparison
equal deleted inserted replaced
220:6d09d310943b 221:e901bdec7578