| <html> |
| <head> |
| </head> |
| <body> |
| ==================== Version 0 ==================== |
| <img src="0.png"/> |
| ==================== Version 1 ==================== |
| <img src="1.png"/> |
| ==================== Version 2 ==================== |
| <img src="2.png"/> |
| ==================== Version 3 ==================== |
| <img src="3.png"/> |
| =================================================== |
| First undo to version 2: OK |
| First undo to version 1: OK |
| First undo to version 0: OK |
| Redo to version 1: OK |
| Redo to version 2: OK |
| Redo to version 3: OK |
| Second undo to version 2: OK |
| Second undo to version 1: OK |
| Second undo to version 0: OK |
| </body> |
| </html> |
