add an option for synching proportions and implement it (mostly)
[mandelbrot.git] / xulapp / defaults /
drwxr-xr-x   ..
drwxr-xr-x - preferences