client/js/defaults.js
changeset 174 756cfa6570d2
parent 173 009427475db2
child 175 f636e2dcfb2c
--- a/client/js/defaults.js	Mon May 06 15:14:29 2013 +0200
+++ b/client/js/defaults.js	Mon May 13 15:28:52 2013 +0200
@@ -28,8 +28,9 @@
     force_resize: false,
     allow_double_click: true,
         /* Allows Double Click to create a node on an empty background */
-    element_delete_delay: 5000,
-        /* Delay between clicking on the bin on an element and really deleting it */
+    element_delete_delay: 8000,
+        /* Delay between clicking on the bin on an element and really deleting it
+           Set to 0 for delete confirm */
     autoscale_padding: 50,
     
     /* MINI-MAP OPTIONS */