First of all, the fix has been committed.
OK, here's what happens.
You 're using the symbols browser docked inside the project manager's notebook, while I 'm using it as a free floating window. When I docked it here too, I saw the problem.
It still doesn't make sense why this happens. There's a panel there. It should paint itself. Period. But it doesn't...
Anyway, as I said, I committed the fix so enough about this
