zoomTo bug seems avoided, though scripts could be notified or check if a view is...
-rw-r--r-- 5 .gitignore
-rw-r--r-- 93 AUTHORS
-rw-r--r-- 35147 COPYING
-rw-r--r-- 556 INSTALL
-rw-r--r-- 1002 NEWS
-rw-r--r-- 1263 README
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 1688 TODO
drwxr-xr-x - config
drwxr-xr-x - extra
-rwxr-xr-x 1155 loc.sh
-rw-r--r-- 3077 mandulia.cabal
drwxr-xr-x - src