Hervé Girod - 2019-12-21

Use docJGenerator 1.4.16.1
Add easy access to undo/redo in the JEditor
Add the undo and redo buttons in the JAppEditor

In this version, you can now add a listener to the JEditor to be fired when the underlying document is changed / unchanged, including undo /redo. It can be useful if you want to use JEditor in an application when you want to show specifically documents which are modified from their initial state.

 

Last edit: Hervé Girod 2019-12-23