Hi there, I'd like to add some options to the "making code pretty" feature in the IDE. But I have no idea what I could make optional, as I wrote the pretty-printer the way I wanted to see the code. So if you have some suggestion, I am eager. -- Benoît Minisini