From: Robert Kaiser Date: Sat, 23 Aug 2008 16:35:55 +0000 (+0200) Subject: make UI prefs actually work, add menus for debug options, i.e. turning TraceMonkey... X-Git-Url: https://git-public.kairo.at/?p=mandelbrot.git;a=commitdiff_plain;h=6e98af87f333055b6896606602bacef3bb73c547;hp=6e98af87f333055b6896606602bacef3bb73c547;ds=sidebyside make UI prefs actually work, add menus for debug options, i.e. turning TraceMonkey on/off, changing algorithms, and rough display of calc time ---