tree 69265162f9d66975beca255c3acce748fecb2896
parent 1e8557a9fe1267dedf57322abb1bf3deab53fd3f
author Jack Jansen <jack.jansen@cwi.nl> 816015180 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 816015180 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%405715

Cosmetic change to event handling.