From 061bfabed06aadff741ca6c03fba2cac077f4cdc Mon Sep 17 00:00:00 2001
From: Madhura Jayaratne <madhura.cj@gmail.com>
Date: Sat, 1 Dec 2012 07:23:32 +0530
Subject: [PATCH] Preserve the query when saving to the micro history

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

diff --git a/js/functions.js b/js/functions.js
index 7c80510d5d..281a66adc5 100644
--- a/js/functions.js
+++ b/js/functions.js
@@ -3330,6 +3330,7 @@ AJAX.registerOnload('functions.js', function() {
 });
 AJAX.registerTeardown('functions.js', function() {
     if (codemirror_editor) {
+        $('#sqlquery').text(codemirror_editor.getValue());
         codemirror_editor.toTextArea();
         codemirror_editor = false;
     }