Just noticed this morning that the Ctrl+Space shortcut that allows autocompletion on the Wikidata Query Service doesn't work anymore.
Tested by one user on Firefox53/Windows, tested by me on Firefox52 and Chromium/Linux.
Description
Description
Details
Details
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Fix extraKeys configuration | wikidata/query/gui | master | +5 -11 |
Related Objects
Related Objects
- Mentioned In
- rWDQG891bc9a44d01: Fix extraKeys configuration
- Mentioned Here
- rWDQGa5a4e477919b: Map tab key to indent with spaces.
Event Timeline
Comment Actions
git bisect says it’s a5a4e477919b19b62d39e88f8ea309d55c963bb7, which seems plausible (affected key bindings).
Comment Actions
Change 356550 had a related patch set uploaded (by Lucas Werkmeister (WMDE); owner: Lucas Werkmeister (WMDE)):
[wikidata/query/gui@master] Fix extraKeys configuration
https://gerrit.wikimedia.org/r/356550
Comment Actions
Change 356550 merged by jenkins-bot:
[wikidata/query/gui@master] Fix extraKeys configuration
https://gerrit.wikimedia.org/r/356550