Changes

Jump to navigation Jump to search

document.markChanged

10 bytes removed, 12:51, 11 June 2011
Line 21: Line 21:  
--]]
 
--]]
   −
document.markChanged() --ask the user to save the document when closing it</source><br> </source>
+
document.markChanged() --ask the user to save the document when closing it</source><br>
    
[[Category:document]]
 
[[Category:document]]

Navigation menu