|
@@ -104,7 +104,7 @@ window.default_taskbar_height = 50;
|
|
window.taskbar_height = window.default_taskbar_height;
|
|
window.taskbar_height = window.default_taskbar_height;
|
|
window.upload_progress_hide_delay = 500;
|
|
window.upload_progress_hide_delay = 500;
|
|
window.active_uploads = {};
|
|
window.active_uploads = {};
|
|
-window.copy_progress_hide_delay = 2000;
|
|
|
|
|
|
+window.copy_progress_hide_delay = 1000;
|
|
window.busy_indicator_hide_delay = 600;
|
|
window.busy_indicator_hide_delay = 600;
|
|
window.global_element_id = 0;
|
|
window.global_element_id = 0;
|
|
window.operation_id = 0;
|
|
window.operation_id = 0;
|