(WindowEvent arg0)
| 229 | @Override |
| 230 | public void windowLostFocus(WindowEvent arg0) { } |
| 231 | @Override |
| 232 | public void windowGainedFocus(WindowEvent arg0) { |
| 233 | if (unresolvedFileModification && !reloadDialogVisible) showReloadDialog(); |
| 234 | } |
| 235 | }); |
| 236 | |
| 237 | // Add a listener to file modifications |
nothing calls this directly
no test coverage detected