Editor discards changes made during loading

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

Editor discards changes made during loading #327

Closed iTitus closed 11 months ago

iTitus commented 11 months ago

Solutions:

~~disable editing during loading~~
don't re-load text at end of loading
~~add dialog/user interface for overwriting current text (always)~~

dgelessus commented 11 months ago

Small note: if possible, I think we should avoid disabling the editor, because this leads to bad user experience - if the user notices an error while the machine is loading, they would be unable to fix the error until the machine is done loading.

iTitus commented 11 months ago

fixed in https://github.com/hhu-stups/prob2_ui/commit/e103ab3f98447ebbd5fd470cb971653976c0dec9