On Jan 11, 2016, at 10:28, Dimitris Chloupis <kilon.alios@gmail.com> wrote:yeah i can confirm that as well, but i never tried to resize the panels before, but frankly its not a huge deal, phardoc does not offer anything more than what the pharo image already offers and is many times less flexible. I used only once when i was on vacations and wanted to take a look at a couple of things.On Mon, Jan 11, 2016 at 3:19 PM David Allouche <david@allouche.net> wrote:Yes, that's what I talked about in the first place.Here's the screenshot I should have included at first. See, no method names.<PastedGraphic-1.png>Also, if one tries resizing the panes, things start breaking in visually interesting ways���<PastedGraphic-2.png>