| Summary: | Shorter the file has been deleted text | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> |
| Component: | Text | Assignee: | Lars Vogel <Lars.Vogel> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | Lars.Vogel |
| Version: | 4.17 | ||
| Target Milestone: | 4.18 M1 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| See Also: |
https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/169140 https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=c3420f463013f55bc84747414420cd81b9887940 |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 566539 | ||
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/169140 Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/169140 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=c3420f463013f55bc84747414420cd81b9887940 |
Old The file ''{0}'' has been deleted or is not accessible. Do you want to save your changes or close the editor without saving? suggested: The file ''{0}'' has been deleted or is not accessible. Save your changes or close the editor without saving?