delete of set of PromotTreeNodes

[steinmet]

If a set of PromotTreeNodes? is selected and deleted in the ProMoT Browser tree the deletion throws an Exception and undo is not possible.

Furthermore, sometimes the tree is not updated after adding, loading or deleting of nodes The refresh action should be used from time to time or in case of nodes are missed or won't disappear.

[rempel]

Exception is ArrayIndexOutOfBounds? Exception which comes from reduced length of children array after update from lisp (then only not deleted children vs. including deleted children as null before). So this happens always if the asynchronous update is finished before the last invalidation forces an refresh in painting asking for changed TreePath?.

Two different causes are possible for inconsistent display:

• lost updates (e.g. visible for global gc started, GUI will remain in "busy" state even when finished in lisp, no clear check (logging) or fallback implemented yet)
• asynchronous update (usually combined with gc to get a longer time between call and response) delays the update

Working on an inconsistent state of the server might result in crashes which will loose the data, so storing the relevant data might be called for. if refresh (reload all classes from lisp and updates display) fixes problem everything is fine, but especially in combination with running asynchronous updates and previous exceptions refresh does not solve every problem.