change the name of files (use timestamps instead of complete date)

UNGProject/js/theme.js

@@ -406,7 +406,7 @@ JSONDocument.prototype.load({//add methods thanks to the UngObject.load method
 
     //dates
     getCreation:function() {return this.creation;},
-    getLastModification:function() {return this.lastModification;},
+    getLastModification:function() {return this.lastModification.toUTCString();},
     setLastModification:function(date) {this.lastModification=date;},
 
     //state

UNGProject/js/tools.js

@@ -208,7 +208,7 @@ tryUntilSucceed = function(func) {
  * could be developed to implement more beautiful resizments
  */
 var resize = function() {
-    $("div.main-right").width($(window).width()-$("div.main-left").width());
+    return $("div.main-right").width($(window).width()-$("div.main-left").width());
 }
 
 /**
@@ -222,7 +222,7 @@ errorMessage = function(message,object) {
 /**
  * returns the current date
  */
-currentTime = function() {return (new Date()).toUTCString();}
+currentTime = function() {return Date.now();}
 
 /**
  * Paste a toolkit at the mouse position

UNGProject/ung.html

@@ -47,10 +47,8 @@
                     getDocumentList().resetSelectionList();
                     getDocumentList().updateDisplayInformation();
                     getDocumentList().display();
-                    resize();}
+                    resize();}//hack for a bug with firefox
             );
-
-            resize();
         }
         $(window).resize(resize);
         $(document).ready(init);