> You are probably unaware of the 'Format' item under the 'Edit' menu of the > CleanIDE. There you can actually set your tabbing instead of guessing it. > No! don't tell him that! He will come to Nijmegen and kill you! Don't you know Richard hates the Clean IDE and prefers a particular IDE that won't be told about the tab-length?!