Cool :-) This will be a default behaviour, or activated through a command-line switch?<br><br><div class="gmail_quote">2012/11/8 Camillo Bruni <span dir="ltr">&lt;<a href="mailto:camillobruni@gmail.com" target="_blank">camillobruni@gmail.com</a>&gt;</span><br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><a href="https://code.google.com/p/pharo/issues/detail?id=6941" target="_blank">https://code.google.com/p/pharo/issues/detail?id=6941</a><br>


<br>
so that your experience will be last one :)</blockquote></div>