We noticed the same behavior in the Program Window: It shows "Compiled with errors" message but the compilation error list is not displaying.
We are not using proxy users like mike.
Also, after I exit PL/SQL Developer and restart it, the problem disappears. So, it is not from the start ...