Michael Allan’s files

Icon  Name                          Size  
[PAR] Parent Directory                -   
[jav] NewSv1File.java               1.9K  
[jav] SaveAction.java               2.6K  
[jav] ReloadAction.java             5.5K  
[jav] TestAction.java               8.4K  
[jav] VersionedFile.java             16K

Undo/redo by navigation.

Navdo is a linear undo/redo facility for Web pages, based on navigation history. Each modification creates a new version of the page source to which the browser is redirected. Its back/forward controls then serve as undo/redo controls.

ReloadAction and SaveAction together allow the browser to function in tandem with a text editor. Reloading allows the browser to effectively refresh, and show an up-to-date WYSIWYG view of the page source under edit (the user's working file), with any editorial 'shorthand' converted to proper form. The page daemon can then bring its own, in-browser tools to bear on the latest text. If any modifications result, they can be saved back to the working file.