When I change connection for a SQL Worksheet from the connection drop down list, the Windows Title bar does not update immediately.
Clicking on a different element within SQL Developer and then back to SQL Worksheet seems to resolve the issue.
Hopefully the screenshots below demonstrate this. This probably is not new on 4.2, but I just noticed it recently.
yup, i see that and will log a bug, thanks