Re: [Bug-gnubg] Edit/docked panels bug

[Christian Anthon]

On Mon, 25 Sep 2006 09:22:12 +0200,  
<address@hidden> wrote:
> Problem in latest code (GUI) : editing a position with hidden panels
> or undocked panels works fine, but with docked panles something goes
> wrong : the fields with players names, scores and match length
> disappear (and they don't come back exiting edit mode). They reappear
> hiding or undocking the panles.

I can't reproduce this, neither on windows nor on linux.

Christian.