add an option for synching proportions and implement it (mostly)
[mandelbrot.git] / xulapp /
drwxr-xr-x   ..
-rw-r--r-- 1924 application.ini
drwxr-xr-x - chrome
drwxr-xr-x - defaults