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
