[Pharo-users] Size of the critic panel in Calypso
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
[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 > 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
[Pharo-users] Re: Size of the critic panel in Calypso
Hi Alexandre,Yep but I don't want to get rid of it, in my opinion it is useful. I need to resize it Anyone with the solution? :-) CheersDavide On Friday, July 9, 2021, 01:58:57 PM GMT+2, Alexandre Bergel wrote: 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 > 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
