Automatic Save in OMEdit - Logging of Edit Operations
An automatic save feature in OMEdit is very valuable for the user acceptance of OpenModelica. Currently, if there is a crash in OMEdit or in OMC a lot of user time might be lost and the user becomes very frustrated.
Since saving is currently done via OMC, and OMC sometimes crashes we need a mechanism that is more robust.
One proposal is to log all OMEdit update commands sent to OMC after each save all (or save). These are already sent to OMC in textual form and could easily also be written to an external file without noticably overhead. The logs might be associated to the affected model(s). After a crash, when restarting there can be an option of replaying all commands (except the last which caused the crash). This would also be useful for bug reporting since all the commands that caused a crash would be available. In fact, we could have a report bug button in OMEdit that would email the log and associated models.
Change History
(4)
| Resolution: |
→ fixed
|
| Status: |
accepted → closed
|
| Milestone: |
Future → 1.10.0
|
Fixed in 1ec6313/OMEdit.
The automatic save is available since a long time but I have fixed some issues with it now and it should work fine.
The logging of all commands sent to OMC are already done. But we can't replay the commands (it's very difficult to implement that).
The crash reporting is also available. The crash is detected automatically and a bug report window is shown which also allows the user to write the bug description and attach files.