From fdc80a2fd935f8db871b548a6deb2fddbf006e67 Mon Sep 17 00:00:00 2001
From: Deven Bansod <devenbansod.bits@gmail.com>
Date: Fri, 30 Sep 2016 10:47:02 +0530
Subject: [PATCH] Fix #12455: Query history stores separate entry for every
 letter typed

Don't store history when linting, rather store it only when user has submitted the query.

Signed-off-by: Deven Bansod <devenbansod.bits@gmail.com>
---
 js/codemirror/addon/lint/sql-lint.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/codemirror/addon/lint/sql-lint.js b/js/codemirror/addon/lint/sql-lint.js
index 92b30f2702..0afa9c49cf 100644
--- a/js/codemirror/addon/lint/sql-lint.js
+++ b/js/codemirror/addon/lint/sql-lint.js
@@ -33,6 +33,7 @@ CodeMirror.sqlLint = function(text, updateLinting, options, cm) {
             token: PMA_commonParams.get('token'),
             server: PMA_commonParams.get('server'),
             options: options.lintOptions,
+            no_history: true,
         },
         success: handleResponse
     });