How can I temporarily switch off semantic?
Right now I do this by setting semantic-idle-scheduler-idle-time
to a high value (20000), but I suppose there must be a cleaner way to do this?
-- Guy Thomas [EMAIL PROTECTED] fks bvba - Formal and Knowledge Systems http://www.fks.be/ Stationsstraat 108 Tel: ++32-(0)11-21 49 11 B-3570 ALKEN Fax: ++32-(0)11-22 04 19
