From 7e344527461194cc2cee9085648bfbd450ef1f7f Mon Sep 17 00:00:00 2001
From: Brice Maron <brice@bmaron.net>
Date: Wed, 19 Oct 2011 22:42:44 +0200
Subject: [PATCH] Little trick to avoid editor loading twice on double click

---
 apps/files_texteditor/js/editor.js | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/apps/files_texteditor/js/editor.js b/apps/files_texteditor/js/editor.js
index f7b924d494..a0629aa8c4 100644
--- a/apps/files_texteditor/js/editor.js
+++ b/apps/files_texteditor/js/editor.js
@@ -73,11 +73,7 @@ function bindControlEvents(){
 
 function editorIsShown(){
 	// Not working as intended. Always returns true.
-	if(window.aceEditor){
-		return true;
-	} else {
-		return false;	
-	}
+	return is_editor_shown;
 }
 
 function updateSessionFileHash(path){
@@ -174,6 +170,7 @@ function showFileEditor(dir,filename){
 				}
 				// End ajax
 				});
+		is_editor_shown = true;
 	}
 }
 
@@ -194,12 +191,13 @@ function hideFileEditor(){
 		$('.actions,#file_access_panel').fadeIn('slow');
 		$('table').fadeIn('slow');	
 	});
+	is_editor_shown = false;
 }
 
 $(window).resize(function() {
 	setEditorSize();
 });
-
+var is_editor_shown = false;
 $(document).ready(function(){
 	if(typeof FileActions!=='undefined'){
 		FileActions.register('text','Edit','',function(filename){
-- 
GitLab