Edit: actually the source deletion is undoable, albeit in a somewhat confusing way; thus, this ER is far less important I thought previously
lately I had the bad luck to move my mouse inadvertently a bit, and, in the Source Editor, I've clicked to [-] by mistake instead of [+] when I wanted to add another source just having added a previous one.
Oops. The previously added source went just poof, without a bit of warning, and looks like this change is not undoable
Although the source was not referenced yet, it was somewhat at the inconvenient side, given all the information entered for the source which I had to dig up again.I suggest, if possible and unless it brings some problems I do not foresee
- to guard the source removal by an alert, even if not referenced yet;
- to make a source removal undoable.
preferably both, unless too difficult to implement.
The same problem might well apply to other [+][-] GUIs; I haven't tested.
Thanks a lot!