I take back my previous statement. I still have disappearing window border, but they are not as frequent. So far it only happened once upon closing sqldeveloper. I think the modal windows no longer trigger the bug though.
I take back my previous statement. I still have disappearing window border, but they are not as frequent. So far it only happened once upon closing sqldeveloper. I think the modal windows no longer trigger the bug though.