4 commits

Author	SHA1	Message	Date
codeimp	dfa7a74ce5	NOTE: An ErrorChecker may NEVER modify the map, because it runs multithreaded with other ErrorCheckers. Do not even change element properties such as 'marked' and 'selected'!	2008-10-24 09:19:05 +00:00
codeimp	d7a843938a	sorting error checkers with highest cost first (estimated CPU usage)	2008-10-24 07:39:29 +00:00
codeimp	b82c18064f	more work on error checking	2008-10-23 13:33:59 +00:00
codeimp	ed5bb35c7c	more work on error checking	2008-10-23 11:36:00 +00:00