Sorry folks, problem solved! As it turns out, one of the stacks in the preferences file was somehow corrupted. I replaced the /rev file with the /rev~ file and now all works again. I hope nobody put a lot of effort into solving this!
Cheers, Lars _______________________________________________ use-livecode mailing list use-livecode@lists.runrev.com Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode
