Jonas Kress (WMDE) has uploaded a new change for review.
https://gerrit.wikimedia.org/r/253313
Change subject: Auto trigger auto completion
......................................................................
Auto trigger auto completion
Change-Id: If1655570d5b3471f2d58b62ae820be03cd526370
---
M gui/gui.js
1 file changed, 5 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/rdf
refs/changes/13/253313/1
diff --git a/gui/gui.js b/gui/gui.js
index d02b85c..82f1e1c 100644
--- a/gui/gui.js
+++ b/gui/gui.js
@@ -329,11 +329,15 @@
*/
function setupEditor() {
EDITOR = CodeMirror.fromTextArea( $( '#query' )[0],
CODEMIRROR_DEFAULTS );
- EDITOR.on( 'change', function () {
+ EDITOR.on( 'change', function ( editor, changeObj ) {
if ( ERROR_LINE_MARKER ) {
ERROR_LINE_MARKER.clear();
ERROR_CHARACTER_MARKER.clear();
}
+ if( changeObj.text[0] === ':'
+ || changeObj.text[0] === '?' ){
+ editor.showHint();
+ }
} );
EDITOR.addKeyMap( { 'Ctrl-Enter': submitQuery } );
EDITOR.focus();
--
To view, visit https://gerrit.wikimedia.org/r/253313
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If1655570d5b3471f2d58b62ae820be03cd526370
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <jonas.kr...@wikimedia.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
