make UI prefs actually work, add menus for debug options, i.e. turning TraceMonkey...
[mandelbrot.git] / xulapp / defaults / preferences /
drwxr-xr-x   ..
-rw-r--r-- 383 prefs.js