April 1, 2015
8:56 p.m.
HI we were improving the selection of instance variables of the refactorings via nautilus when suddenly the font got broken. We got a problem with strikefont holding a number of something like that. Impossible to debug - it would be great to have a rescue path (may be via the EmergencyEvalutor) - the only thing that we could do was to kill the image and restart I suspect a problem with the FTPlugin. Stef