Deven Bansod fdc80a2fd9 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>

2016-09-30 10:47:02 +05:30

..

addon

Fix #12455: Query history stores separate entry for every letter typed

2016-09-30 10:47:02 +05:30

lib

Upgrade CodeMirror to version 5.4.0

2015-06-29 13:19:42 +05:30

mode

Upgrade CodeMirror to version 5.4.0

2015-06-29 13:19:42 +05:30

LICENSE

Upgrade CodeMirror to version 5.3.0

2015-05-20 15:49:40 +05:30