There is a problem with the print view update which comes down to the question: How do you tell if a file has changed. Currently I am using stat() and looking at mtime, but only the seconds are being stored it seems, no sub-second precision. What is the right way to test if a file has changed? Richard
_______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
