Le 16/3/15 10:22, Norbert Hartl a écrit :
And I do not want to have to change updated pharo yet another time or video just because of that. And I do not want to have to write (this is a timestamp and we do not know why).I think the tab header is disturbing me the most. It makes the UI look like a more heavy tool. The timestamp in the tab doesn't make it better :)
