diff -r 756cfa6570d2 -r f636e2dcfb2c client/js/defaults.js
--- a/client/js/defaults.js	Mon May 13 15:28:52 2013 +0200
+++ b/client/js/defaults.js	Tue May 14 12:15:15 2013 +0200
@@ -28,7 +28,7 @@
     force_resize: false,
     allow_double_click: true,
         /* Allows Double Click to create a node on an empty background */
-    element_delete_delay: 8000,
+    element_delete_delay: 5000,
         /* Delay between clicking on the bin on an element and really deleting it
            Set to 0 for delete confirm */
     autoscale_padding: 50,