Fixed Save as does not change file title upon reload

This commit is contained in:
Jindra Petřík
2023-01-09 20:06:56 +01:00
parent a05ecee1b9
commit 37f492fdc0
3 changed files with 9 additions and 2 deletions

View File

@@ -34,7 +34,7 @@ public class OpenableSourceInfo {
private String file;
private final String fileTitle;
private String fileTitle;
private final boolean detectBundle;
@@ -89,6 +89,10 @@ public class OpenableSourceInfo {
detectKind();
empty = false;
}
public void setFileTitle(String fileTitle) {
this.fileTitle = fileTitle;
}
public String getFileTitle() {
return fileTitle;