SQL Developer 4.1 EA2 (but has been an issue for years)
When a connection is broken (eg wifi drops, or whatever), SQL Dev throws this error (understandably) when you run a query that was using said connection:

But having said the connection is closed, the UI still shows it as connected:

Choosing "Reconnect" from the Connections pane does nothing, and since the connection is still "active" I can't select it again from the top-right dropdown in order to reconnect.
So, I have to right click on the connection to disconnect, and then Connect again.
Is there a less clunky way to handle this workflow?
thanks.