Jens Stavnstrup wrote:
> It would be convenient if XMLMind editor would be able to add a PI to
> XML documents, whenever a document is saved. That PI should be in the form
> of a ISO 8601 date. E.g.
> 
>   <?xxe-date "2005-11-01 15:23:22Z+0100"?>
> 
> or
> 
>   <?xxe-date "20051101T152322Z0100"?>
> 
> or whatever ISO 8601 format you chose.
> 
> Since this feature is intrusive, it should properly be off by default.
> 
> And checkbox should therefore exist in Options/Save
> 
> If such a PI exists already, XXE should replace the existing PI, whith a
> new one, whenever the document is saved.
> 
> Since that info is added inside the document, it is easy to utilize using
> XSLT.
> 

* Why not simply use the date of the file? XSLT has no file date
function, but it is pretty easy to add one. See
http://saxon.sourceforge.net/saxon6.5.4/extensibility.html

* If you really want the above PI, you can implement this yourself using
a document hook. See
http://www.xmlmind.com/xmleditor/_distrib/doc/dev/documenthook.html

* An XXE process command has a number of variables --
http://www.xmlmind.com/xmleditor/_distrib/doc/commands/process_variables.html
-- which can be used to pass parameters to the XSLT style sheet. If you
are interested, we could add a  "last saved date" variable.


Reply via email to