Comment 4 for bug 724345

Revision history for this message
André Cotte (acotte) wrote :

The problem was not a bug in the real sense of the word. Just the window closed. The little dots are so little that we don't see that we just have to reopen the window with the mouse.