Hi Bert, >> But neither Alt-\ nor Strg-\ does what it's supposed to do here with pharo 4.1 on linux. > > Are you using a German keyboard by chance? What keys are you actually pressing? Yes, it's 'german eliminate dead keys'. I'm pressing Alt+AltGr+[ß?\] or Strg+AltGr+[ß?\]. Markus