[Pharo-users] Size of the critic panel in Calypso

[Davide Varvello via Pharo-users]

Hi Guys, How can I reduce the height of the critic panel in Calypso? I don't 
want to get rid of it. TIA Davide