diff options
author | Andrii Doroshenko (Xrayez) <xrayez@gmail.com> | 2020-07-23 15:21:28 +0300 |
---|---|---|
committer | Andrii Doroshenko (Xrayez) <xrayez@gmail.com> | 2020-07-26 16:05:44 +0300 |
commit | 7247247522dd390ee54c75fcd5f604c4ab30e94b (patch) | |
tree | 07fb9ece3b5fbfed5a5f7667bcf2cf408c33364e /platform | |
parent | 5700429e4edca4ba90a406976ac3e8b337a50eb8 (diff) |
Make unsaved scripts in the script editor more user-friendly
Unsaved scripts were previously displayed with blank tabs, which are
mostly a result of deleted or improperly moved scripts.
This patch makes sure that those kind of scripts are displayed as
"[unsaved]" now, and ensures that scripts are removed from the list
while deleting scripts from the filesystem dock preventing the unsaved
tabs to appear in the first place (a user is already prompted with
"no undo" warning while deleting any file).
A user is always prompted to save those "[unsaved]" scripts if they
attempt to close them without saving in any case except as described
above.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions