Fixed Reload button disabled after saving new file

This commit is contained in:
Jindra Petřík
2022-12-09 17:04:03 +01:00
parent 2e8dc35aa2
commit 406065ad20
2 changed files with 2 additions and 0 deletions

View File

@@ -87,6 +87,7 @@ public class OpenableSourceInfo {
public void setFile(String file) {
this.file = file;
detectKind();
empty = false;
}
public String getFileTitle() {