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

No idea. But, the way to remove it is by evaluating: ClyCriticBrowserPlugin disable. Maybe you can trace it to see how the panel size is set. Cheers, Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

On 9 Jul 2021, at 12:07, Davide Varvello via Pharo-users <pharo-users@lists.pharo.org> wrote:

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