Issue 1545: cmdDotEnabled preferences is not working

---------------
fixed UserInterruptHandler>>handleUserInterrupt

-> SLICE-cmdDotEnabledFix-AlainPlantec.1 in inbox
---------------

Alain



_______________________________________________
Pharo-project mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project