Put pysize_widget mouse handling code in a separate file.
tree29cc1e27a3fe14ff71f2ca5e6ed721265b34dc24
-rw-r--r-- 19 .hgignore
drwxr-xr-x - core
-rwxr-xr-x 2133 pysize.py
drwxr-xr-x - ui