pharo-users@lists.pharo.org

Any question about pharo is welcome

View all threads

Re: Size of the critic panel in Calypso

DV
Davide Varvello
Fri, Jul 9, 2021 2:30 PM

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 <alexandre.bergel@me.com> 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 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

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 <alexandre.bergel@me.com> 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 <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