[Bug-gnubg] Edit/docked panels bug

[Massimiliano . Maini]

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.

(Notice that when they disappear, they seem to appear in the upper left
part of the windows, just over the 'File Edit View' menus of the menu bar).

If needed I can send a .png, let me know.


MaX.