From a098c7c6858a7c2c646e38d1ba150b13821f4085 Mon Sep 17 00:00:00 2001
From: Tom Needham <needham.thomas@gmail.com>
Date: Fri, 6 Apr 2012 21:38:38 +0000
Subject: [PATCH] Give editor focus after saving

---
 apps/files_texteditor/js/editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/apps/files_texteditor/js/editor.js b/apps/files_texteditor/js/editor.js
index 3d98a91c059..016632c9979 100644
--- a/apps/files_texteditor/js/editor.js
+++ b/apps/files_texteditor/js/editor.js
@@ -174,6 +174,7 @@ function doFileSave(){
 			},'json');
 		}
 	}
+	giveEditorFocus();
 };
 
 // Gives the editor focus
-- 
2.39.5