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