From 113822761807190cdbd0e243724b799821efd2cf Mon Sep 17 00:00:00 2001
From: benweet <benoit.schweblin@gmail.com>
Date: Mon, 25 Mar 2013 23:25:50 +0000
Subject: [PATCH] Update file list when rename a file

---
 js/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/main.js b/js/main.js
index e9df7fbf..cfa10849 100644
--- a/js/main.js
+++ b/js/main.js
@@ -28,6 +28,7 @@ var fileManager = (function($) {
 			}
 			$(this).hide();
 			$("#file-title").show();
+			fileManager.updateFileTitleList();
 			fileManager.updateFileTitleUI();
 		});
 	};